AE doğrusu O2 merkezli çemberi G de kessin.
EF doğrusu O2 merkezli çemberi H de kessin.
EH çap olduğu için, m(EGH)=90 ve BC//GH olacaktır.
BCHG ikizkenar yamuğunda GH orta dikmesi O2 den ve BC nin orta noktasından geçeceği için O1 den de geçer.
Bu durumda GO1 = O1H olur.
GA ile O1H doğruları I da kesişsin. IGH dik üçgeninde O1I = O1H olacaktır.
Aynı zamanda EH çapını gördüğü için m(EO1H)=90 olduğu için IEH üçgeni bir ikizkenar üçgendir.
Bu durumda EO1 doğrusu AEF açısının açıortayıdır. AO1 = O1F olduğu için AEFO1 dörtgeni bir deltoid, dolayısıyla da AE=EF dir.