¿Sería realmente válida como demostración? Ante esto, Euclides elabora una demostración nueva que elude la posibilidad de encontrarse con números irracionales.