Jeżeli dwie proste równoległe przetniemy trzecią prostą, to utworzone:

- kąty naprzemianległe mają równe miary,

- kąty odpowiadające mają równe miary.

Założenia:

Kąty  są kątami ostrymi.

Teza: