Neka je ∠BAN=α i ∠ANM=φ.

Promatrani izraz je
tgαtgφ=cosφsinφ⋅sinαcosα=sin(90∘−φ)sinφ⋅sinαsin(90∘−α)=sin(∠BNM)sinφ⋅sinαsin(∠ABN).
Pritom smo koristili da je trokut ABN pravokutan (Talesov teorem).
Dobiveni izraz možemo pisati u obliku
sinαsinφ⋅sin(∠BNM)sin(∠ABN).
Primjenom poučka o sinusima na trokut ANM dobivamo
sinαsinφ=∣MN∣∣AM∣,
a primjenom na trokut BMN
sin(∠BNM)sin(∠ABN)=∣BM∣∣MN∣.
Stoga je
sinαsinφ⋅sin(∠BNM)sin(∠ABN)=∣MN∣∣AM∣⋅∣BM∣∣MN∣=∣BM∣∣AM∣,
a to očito ne ovisi o položaju točke N.