O=EH∩FGO=EH\cap FGO=EH∩FG とおく。GGG から直線 FDFDFD と EFEFEF までの距離はいずれも aaa なので、FGFGFG は FFF における対応する角の二等分線であり、同様に EHEHEH は EEE での二等分線である。従って OOO は △AEF\triangle AEF△AEF の傍心である。G,HG,HG,H でも同じ議論により △CGH\triangle CGH△CGH の傍心でもある。