Rysunek pomocniczy:

Skoro i , to możemy wywnioskować, że .

Otrzymujemy więc, że trójkąty oraz są przystające na mocy cechy .

Dzięki temu przystawaniu dostajemy