Udowadniamy, że jeśli , to dwusieczne katów  i  są prostopadłe.

Założenie: proste  i  są równoległe

Teza: Jeśli , to dwusieczne katów  i  są prostopadłe.

Dowód: Z twierdzenia o dwóch prostych równoległych