demostracion euclides