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