直積集合
Proposition: The Cartesian product of two countable sets and is countable.