dimostra che in un triangolo ABC, isoscele sulla base AB, il punto O, intersezione delle bisettrici dei due angoli
Considerando il triangolo AOB esso ha l'angolo OAB congruente a OBA per costruzione. Per cui ad angoli congruenti si contrappongono lati congruenti.
Da cui AO= OB