Označimo ∠BAD=α, ∠DAE=β, ∠CAE=γ.

Iz 52+122=132 zaključujemo da je trokut ABC pravokutan. Uočimo sljedeće elemente trokuta ABC:
∣BE∣=∣BC∣−∣CE∣=13−8=5=∣AB∣
⟹∠BAE=∠AEB=α+β,
te
∣CD∣=∣CB∣−∣BD∣=13−1=12
⟹∠CAD=∠CDA=β+γ.
Tada u trokutu ADE vrijedi
180∘=(α+β)+(β+γ)+β=(α+β+γ)+2β.
Kako je trokut ABC pravokutan, vrijedi α+β+γ=90∘. Dakle,
180∘=90∘+2β⟹β=45∘.