Если прямая (l) пересекает плоскость (\alpha) и не параллельна ей, то найдется точка (P\in l) и прямая (m), перпендикулярная к (\alpha) и проходящая через (P).