Teorema 7.5.4 (Completitud de Cantor).