Cantor's theorem