Los Elementos de Euclides - Prop. I 32 - Suma de ángulos de un triángulo cualquiera
En todo triángulo, si se prolonga uno de los lados, el ángulo externo es igual a la suma de los dos ángulos internos y opuestos, y los tres ángulos internos del triángulo suman dos rectos.