Uzasadnij i udowodnij, że proste
i
są bądź nie są równoległe.
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.