Якщо пряма а перпендикулярна до площини альфа, и перетинае йийи в деякий точци О, то вси прями, що належать площини альфа и проходять через т.О, будуть перпендикулярними до а (за означенням + за теоремою). Решта прямих (тобто ти, що не мистять точку О) будуть з а мимобижними (бо не паралельни и не перпендикулярни).