Перпендикулярність прямих і площин. Відпрацювання теорії