Euclides había demostrado este resultado en sus "Elementos" (proposición I-32) de la siguiente manera: se traza una paralela a la línea (AB) que pasa por C.