Musimy udowodnić poniższe twierdzenie:

 są prostopadłe 

Implikacja w prawą stronę:

Najpierw załóżmy że proste są prostopadłe.

Wiemy że obie proste są nachylone pod pewnym kątem do