En el teorema de Euclides