Suma miar kątów przyległych wynosi .

Na początku przedłużamy niektóre z prostych, tak jak pokazuje rysunek poniżej:

Na początku obliczamy miarę kąta przyległego do kąta o mierze .

Na