Ta có:
\(\angle AEF = \angle ACF = 90^\circ - \angle C\)
\(\angle AHE = \angle AKE = 90^\circ - \angle A\)

Do đó, tứ giác AEHF là tứ giác nội tiếp.

Tiếp theo, ta có:
\(\angle EOM = \angle ECM = \angle ACB = \angle AFE\)
\(\angle ENO = \angle CBN = \angle ABC = \angle AEF\)

Do đó, ta có \(MN // EF\).