Intersection is Subset of Union of Intersections with Complements/Corollary