Preimages All Exist iff Surjection/Proof 2