Cartesian product


THEOREM    Cartesian product of countable sets is countable

Proof available