# 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 is Countable.

$\blacksquare$