$C$ nin $G$ ye göre simetriği $J$ olsun. $CFJE$ paralelkenardır.
$\angle BHC = \angle EBC = \angle ECB =\angle JFC$ olduğu için $BEJF$ ikizkenar yamuk, yani kirişler dörtgenidir. $H$ de bu kirişler dörtgeninin çevrel çemberinin üzerindedir.
$BC\cdot CF = HC \cdot CJ$ olduğu için $MC \cdot CF = HC \cdot CG$, yani $H,M,G,F$ çemberseldir. $\angle GHM=\angle MFG$.
$\triangle EMF$ dik üçgeninde $MG=GF$ olduğu için $\angle GMF = \angle MFG = \angle GHM$. Bu durumda $GC\cdot GH = GM^2$.
$G$ noktasının $(ABC)$ çemberine göre kuvvetinden $GI\cdot GB = GC\cdot GH = GM^2 = GF^2$ olacaktır. Bu da, $\angle FIG =\angle BFG =\angle GMF$ demektir. Bu durumda $I, M, G, F$ çemberseldir. Daha önce $H, M,F,G$ nin çembersel olduğunu gösterdiğimiz için $I, H, M, F, G$ çemberseldir.