Cantor%27s isomorphism theorem