If we can say that .
This means that (by the definition of the union)
This is equivalent to saying that
Therefore (by the definition of the intersection)
You have to check it, but I'm quite sure the reasoning works with equivalence and not implication, and hence the conclusion that doesn't go through the steps and
If you want to do the reverse order, it's the same reasoning.