Proposition: The Cartesian product of two countable sets and is countable [REF].
Proof: The integers are countable because the function given by if is non-negative and if is negative, is an injective function.