Założenie:  kąt  jest wypukły

Teza: jeśli  to prosta  jest równoległa do prostej .

Dowód:

Rysujemy pomocniczy rysunek:

Kąt jest kątem wypukłym i oznaczamy go jako:

Kąt przyległy do tego kąta