Neka su duljine stranica i veličine kutova označene kao na slici:

Budući da trokut ADM i četverokut ABCM imaju jednake opsege vrijedi da je
d+y+x=c−y+x+a+b,
⟹2y=a+b+c−d.(⋆)
Iz činjenice da trokut ADM i četverokut ABCM imaju jednake površine slijedi da svaki ima pola površine četverokuta ABCD:
PAMD=21PABCD=21(PABC+PACD),
2ydsinδ=21(2absinβ+2cdsinδ).(⋆⋆)
Kako su β i δ obodni kutovi s različitih strana nad tetivom AC vrijedi da je β+δ=180∘, odnosno sinβ=sin(180∘−δ)=sinδ.
Jednakost (⋆⋆) prelazi redom u
2ydsinδ=21(2absinδ+2cdsinδ)/:sinδ,
2yd=21(2ab+2cd),
2yd=4ab+4cd/⋅4,
2yd=ab+cd.
Primjenom jednakosti (⋆) imamo:
(a+b+c−d)dad+bd+cd−d2d2−ad−bd+abd(d−a)−b(d−a)(d−a)(d−b)=ab+cd,=ab+cd,=0,=0,=0.
Znači, ili je d=a ili je d=b ili oboje, čime je tvrdnja dokazana.