Equivalence of Formulations of Axiom of Replacement

Theorem
In the context of class theory, the following formulations of the Axiom of Replacement are equivalent: