Hello !

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)

Conclusion :

Thus

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.