直積集合
Theorem: The Cartesian product of finitely many countable sets is countable.