Kąt przyległy do kąta o mierze
jest równy
.
Kąty odpowiadające dwóch prostych są różne
, więc
.
(co kończy dowód)
Wykorzystujemy fakt, że równość miar kątów odpowiadających dwóch prostych jest warunkiem wystarczającym ich równoległości.