Equivalence of Formulations of Axiom of Unions/Proof