Angulos opuestos a lados iguales son iguales.

En el triángulo , el ángulo es opuesto al lado AF, y en el triángulo , el ángulo es opuesto al lado AG.
Y como AF = AG, se tiene que:

.

Luego, en el triángulo , el ángulo es opuesto al lado AC, y en el triángulo , el ángulo es opuesto al lado AB.

Y como AB = AC, se tiene que:

.

Por lo tanto,


y
.