Четириъгълникът [tex]ABA_{1}B_{1}[/tex], може да се впише в окръжност, понеже [tex]AB[/tex] се "вижда" под прав ъгъл от точките [tex]A_1[/tex] и [tex]B_1[/tex]. Тогава [tex]\angle B_1A_1B = \pi - \alpha[/tex] и [tex]\angle B_1 A_1 C = \pi - \angle B_1A_1B = \alpha[/tex].
Сега [tex]\triangle A_1B_1 C[/tex] е подобен на [tex]\triangle ABC[/tex] : [tex]\frac{A_1 B_1}{AB} = \frac{A_1 C}{AC} = cos{\gamma}[/tex]