Cantor's Theorem