Prove rationals are countable, finite products of countable sets is countable