Twierdzenie o trzech prostych prostopadłych

Niech prosta $l$l przecina płaszczyznę $\mathcal P$\mathcal P w jednym punkcie i nie będzie do niej prostopadła. Niech $l'$l' będzie rzutem prostokątnym tej prostej na płaszczyznę $\mathcal P$\mathcal P. Dla każdej prostej $k$k zawartej w tej płaszczyźnie zachodzi:

Prostopadłość oznacza tu prostopadłość kierunków prostych; proste $k$k i $l$l mogą być skośne.