Kąt przyległy do kąta o mierze
jest równy
.
To oznacza, że po lewej mamy do czynienia z trójkątem równobocznym. Co ważniejsze, oznacza to, że kąt przy prostej
odpowiadający kątowi
przy prostej
jest równy
, czyli
.
(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.