Dovoljno je dokazati da je ∠ECA=∠HGA.

Budući da je četverokut ACBE tetivan, vrijedi ∠ECA=∠EBA, pa je dovoljno pokazati da je ABGH tetivni četverokut.
Iz trokuta DEH imamo ∠DHE=180∘−∠EDH−∠HED, odnosno
∠AHB=∠DHE=180∘−∠FDA−(180∘−∠CEB),
te koristeći da je ∠CEB=∠CAB (što vrijedi jer je ACBE tetivni četverokut) slijedi
∠AHB=180∘−∠FDA−(180∘−∠CAB)=180∘−∠FDA−∠BAG.
Četverokut ADBF je tetivan, pa vrijedi ∠ADF=∠ABF=∠ABG. Odavde dobivamo
∠AHB=180∘−∠FBA−∠BAG=180∘−∠GBA−∠BAG=∠AGB.
To povlači da je ABGH tetivni četverokut, pa je dokaz završen.