a) 

Jeżeli proste  są równoległe, to kąty naprzemianległe są równe.

Założenie:

Teza: 
Katy naprzemianległe mają równe miary.

b)

Jeżeli kąt jest równy , to jest kątem wypukłym.

Założenie:

Teza: