Cartesian Product of Countable Sets is Countable

Theorem
The cartesian product of two countable sets is countable.