Перпендикулярність прямих, перпендикулярність прямої до площини.