Construção - teorema pitagórico, segundo Euclides