Korzystamy z twierdzenia o trzech prostych prostopadłych:

a)

Prosta jest rzutem prostokątnym prostej na płaszczyznę . Z tego wynika, że , będąc prostopadłą do ,