Neka su α, β i γ mjere kutova u trokutu ABC kod vrhova A, B i C, redom.

Prvo rješenje.
Budući da je O središte opisane kružnice trokuta ABC, trokut AOB je jednakokračan i vrijedi ∠AOB=2γ. Slijedi da je ∠EAB=∠OAB=90∘−γ.
Kako je ∠DAB=2α, vrijedi
∠EAD=90∘−γ−2α=2β−γ.
Vrijedi ∠ABE=90∘−2α, iz čega slijedi
∠EBD=∠ABC−∠ABE=β−90∘+2α=2β−γ.
Budući da je ∠EAD=∠EBD, slijedi da je ABDE tetivan četverokut.
Drugo rješenje.
Budući da je O središte opisane kružnice trokuta ABC, trokut AOB je jednakokračan i vrijedi ∠AOB=2γ. Slijedi da je ∠EAB=∠OAB=90∘−γ.
Kako je ∠DAB=2α, onda je ∠ABE=90∘−2α i vrijedi
∠AEB=180∘−∠BAE−∠ABE=180∘−(90∘−γ)−(90∘−2α)=2α+γ.
Također, vrijedi
∠ADB=180∘−∠BAD−∠ABD=180∘−2α−β=2α+γ.
Budući da je ∠AEB=∠ADB, slijedi da je ABDE tetivan četverokut.