Neka je S sjecište dijagonala AC i BD.

Pravci ES i DC su paralelni pa je prema Talesovom teoremu
∣ED∣∣AE∣=∣SC∣∣AS∣.
Kako su pravci AB i CD paralelni, zaključujemo da je ∠BAS=∠SCD i ∠ABS=∠CDS, iz čega slijedi da su trokuti ABS i CDS slični prema K—K teoremu o sličnosti. Iz toga zaključujemo da je
∣SC∣∣AS∣=∣CD∣∣AB∣.
Iz prethodne dvije jednakosti imamo
∣ED∣∣AE∣=∣SC∣∣AS∣=∣CD∣∣AB∣
⟹∣ED∣∣AD∣=∣ED∣∣AE∣+1=∣CD∣∣AB∣+1=∣CD∣∣AB∣+∣CD∣=∣CD∣∣AD∣,
odakle zaključujemo da je ∣ED∣=∣CD∣. Odavde slijedi da je i ∣AE∣=∣AB∣, tj. trokuti ABE i DEC su jednakokračni. Dakle, vrijedi ∠ABE=∠AEB i ∠DEC=∠DCE. Također, vrijedi
∠EAB=180∘−∠AEB−∠ABE=180∘−2∠AEB⟹∠AEB=90∘−21∠EAB,
te slično ∠DEC=90∘−21∠CDE.
Kako su osnovice AB i CD paralelne, imamo ∠EAB+∠CDE=180∘.
Konačno,
∠BEC=180∘−∠AEB−∠DEC=180∘−(90∘−21∠EAB)−(90∘−21∠CDE)=21(∠EAB+∠CDE)=90∘,
što je i trebalo dokazati.