Talk:Cantor's isomorphism theorem