Equivalence of Formulations of Axiom of Choice

Theorem
The following formulations of the Axiom of Choice are equivalent:

Formulation 1 implies Formulation 2
The argument can be seen to be reversible.