1. Prove that a function between two sets is bijective iff for all , we have .