
Kako je ∣BD∣=∣CD∣, onda je ∣∠DCB∣=∣∠CBD∣=φ.
Prema poučku o obodnom i središnjem kutu vrijedi ∣∠DSB∣=2∣∠DCB∣=2φ.
Budući da je ∣DS∣=∣BS∣=r, trokut BSD je jednakokračan pa slijedi
∣∠BDS∣=∣∠SBD∣=2180∘−∣∠DSB∣=2180∘−2φ=90∘−φ.
S obzirom da je pravac AB tangenta opisane kružnice trokuta BCD, vrijedi ∣∠SBA∣=90∘.
Dalje je ∣∠DBA∣=∣∠SBA∣−∣∠SBD∣=90∘−(90∘−φ)=φ što znači da je ∣∠CBD∣=∣∠DBA∣, a time je tvrdnja dokazana.