Koristeći uobičajene oznake za veličine kutova trokuta ABC, iz uvjeta zadatka je α<β<γ.

Kutovi ∠ADB i ∠AEB su pravi pa je četverokut ABDE tetivan, i vrijedi ∠CDE=∠BAE=α. Analogno, tetivni su i četverokuti BCEF i CAFD, pa je ∠BFE=180∘−∠ECB=180∘−γ, ∠BFD=∠ACD=γ i ∠FDB=∠FAC=α.
S obzirom na to da je FM∥DE, vrijedi ∠BMF=∠CDE=α, pa je ∠MFB=∠CBF−∠BMF=β−α. Budući da je ∠MFE=∠MFB+∠BFE=(β−α)+(180∘−γ)=2β, odnosno ∠MFN=β, imamo
∠BFN=∠MFN−∠MFB=α<γ=∠BFD,
zbog čega se točka N nalazi izvan trokuta ABC.
Zato je ∠BDN=∠CDE=α=∠BFN, a četverokut BNDF je tetivan.
Nadalje je ∠FNB=∠FDB=α, i primjećujemo da su trokuti FMD i BNF jednakokračni, stoga vrijedi ∣FM∣=∣FD∣ i ∣BN∣=∣BF∣.
Sljedećim nizom ekvivalencija dovršavamo dokaz:
⟺⟺⟺⟺⟺⟺F je sredisˇte kruzˇnice opisane trokutu DMN∠MFN=2∠MDNβ=2αβ−α=α∠MFB=∠BMF∣BM∣=∣BF∣B je sredisˇte kruzˇnice opisane trokutu FMN.
