Una prueba se da en el artículo del teorema de Cantor.