Глава I. Начальные геометрические сведения. §6 Перпендикуляр. Прямые → номер 86
Доказательство от противного: Пусть m и n совпадают, значит лежат на одной прямой I, тогда l⊥а и I⊥b, т. е. одна прямая перпендикулярна двум различным прямым а и b. Тогда а и
B не пересекаются согласно теореме о прямых, а это противоречит условию. Значит наше предположение не верно, а верно то, что m и n не совпадают, ч. т.д.