Image of Bijection on Set is Set with Axiom of Choice implies Axiom of Replacement

Theorem
Let the Axiom of Choice be accepted.

Let it be accepted as axiomatic that:
 * every class which can be put into one-to-one correspondence with a set.

Then the Axiom of Replacement holds: