W kątach przyległych AOC i COB nakreślono dwusieczne
Prosta równoległa do AB przecina te dwusieczne odpowiednio w punktach D i E a ramie OC w
punkcie F
Udowodnić że DF=EF
W trójkącie DFO kąt FDO= kątowi DOC jako kąty naprzemianległe wewnętrzne
więc ΔDFO to trójkąt równoramienny gdzie DF=FO
W trójkącie OFE kąt FEO= kątowi EOA jako kąty naprzemianlegle wewnętrzne
więc ΔFEO to także trójkąt równoramienny gdzie FO=FE
Z równości tych wynika ze DF=FE
samo rozumowanie jest 
Teraz zauważyłem że tak