Image of Intersection under Mapping/Proof 1