Let $\mathbb{N}$ be the D225: Set of natural numbers such that

(i) | $\mathbb{N} \times \mathbb{N}$ is a D191: Binary cartesian set product for $(\mathbb{N}, \mathbb{N})$ |

Then $\mathbb{N} \times \mathbb{N}$ is a D16: Countable set.