Demostración de Euclides.