Dany jest trójkąt o kątach ,  oraz :

Aby udowodnić, że suma miar kątów trójkąta jest równa  skorzystamy z twierdzenia dotyczącego prostych równoległych oraz kątów naprzemianległych.
Wiemy, że gdy