Countable Union of Finite Sets is Countable

Theorem
The following statements are equivalent in $\mathrm{ZF}^-$:


 * The Axiom of Countable Choice for Finite Sets holds.


 * The union of any countable set of finite sets is countable.