Llamando \( G' = AC \cap{} MB \) y \( N \) al punto medio de \( AB \):

Por ser \( \triangle{DJC} \) y \( \triangle{BJA} \) semejantes \( MN \) debe pasar por \( J \). Entonces por el teorema de Ceva:
\[ \frac{AF}{FM} \cdot{}\frac{MG'}{G'B}\cdot \frac{BN}{NA} = 1\Longrightarrow{} \]
\[ \frac{AF}{FM} = \frac{G'B}{MG'} \]
Por tanto los triángulos \( \triangle{FMG'} \) y \( \triangle{AMB} \) son semejantes, de donde \( FG' \parallel AB \) y por tanto \[ G' = G \]. Y así por Tales se tiene:
\[ \frac{EF} {FG} = \frac{DM}{MC} = 1 \Longrightarrow{}EF = FG \]
\[ \frac{GH} {FG} = \frac{MC}{DM} = 1 \Longrightarrow{} GH = FG \]