Countable Union of Countable Sets is Countable

Theorem
Assuming the axiom of countable choice, the union of a countable number of countable sets is countable.