Image of Set Difference under Mapping/Proof 2