Параллельные углы как обоснование

Правила о параллельных прямых из раздела «Углы» также служат основаниями для доказательства: Соответственные углы, Внутренние накрест лежащие углы и Внешние накрест лежащие углы равны, а Внутренние односторонние углы в сумме составляют 180°. Каждое из этих правил действует только тогда, когда прямые параллельны, поэтому в строке с его применением указывают строку, где это утверждается.

Углы при A и D находятся внутри параллельных прямых, по разные стороны от пересекающего их отрезка AD: это пара накрест лежащих углов. Без строки 1 этот шаг не следовал бы, потому что без параллельных прямых накрест лежащие углы не обязательно равны. В меню доказательств это правило называется Внутренние накрест лежащие углы; в меню углов, знакомых тебе по разделу «Углы», оно называется Накрест лежащие углы.