 This follows because if and are countable there are surjections and .So
is a surjection from the countable set to the set and the Corollary implies is countable.This result generalizes to the Cartesian product of any finite collection of countable sets and the proof follows by induction on the number of sets in the collection.