De lo contrario, no sólo la prueba fallaría, el mismo enunciado del teorema sería falso.