Absorption Laws (Set Theory)/Union with Intersection/Proof 1