Obliczmy miarę trzeciego kąta trójkąta, korzystając z sumy miar kątów wewnętrznych w trójkącie.

Przenieśmy liczby na prawą stronę równania.

Skorzystajmy z twierdzenia