Transfinite Recursion Theorem without Axiom of Replacement implies Counting Theorem

Theorem
Let the Transfinite Recursion Theorem (Formulation $5$) be accepted as axiomatic.

Let the Axiom of Replacement not be accepted.

Then the Counting Theorem holds.

That is, it is possible to prove the Counting Theorem by using the Transfinite Recursion Theorem (Formulation $5$) as an axiom in place of the Axiom of Replacement.