Set is Subset of Intersection of Supersets/Proof 2