Preimage of Intersection under Mapping/Family of Sets/Proof 2