Equivalence of Formulations of Axiom of Choice

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