Теорема. Две прямые, перпендикулярные к третьей, не пересекаются.

Доказана от противного: предположили точку пересечения M — перегиб подарил вторую точку M₁ — и через две точки прошли бы две разные прямые. А это невозможно: ещё в §1 мы приняли, что через две точки проходит только одна прямая. Предположение рухнуло — теорема стоит.

✦ за страницами параграфа: непересекающиеся прямые называются параллельными — им посвящена целая глава впереди. Сегодня вы доказали существование первых параллельных прямых в курсе.