My proof goes as follows: The circumcenter of triangle BFC is simultaneously the circumcenter of triangle BA'C; hence, lies on the line A'D, where D is the midpoint of BC, and we have .
Aking patunay napupunta ang mga sumusunod: Ang circumcenter ng tatsulok BFC ay sabay-sabay ang mga circumcenter ng tatsulok BA'C; kaya, kasinungalingan sa linya A'D, kung saan ang D ay ang midpoint ng BC, at kami ay may .