Cartesian Product of Natural Numbers with Itself is Countable

Theorem
The Cartesian product $\N \times \N$ of the set of natural numbers $\N$ with itself is countable.

Proof
This is simply a special case of Cartesian Product of Countable Sets.