$ED\perp AD$ olduğu açıktır. $\triangle {BDC}$'de muhteşem üçlüden $\angle MDC=\angle MCD$, deminki diklikten $\angle EDB=\angle MDC$ olur. $\angle MCD=\angle EDB$'den $ED^2=EB\cdot EC$ olur. Aynı zamanda bu, $E$'nin $(ABC)$'ye kuvvetidir. $EF\cdot EA=ED^2$ bulunur. $EDA$ dik üçgen olduğundan $FD\perp AF$ olur. $\blacksquare$