Cantorstheorem