Геометрия в трех измерениях: перпендикулярность прямых