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