Углы ∠1 и ∠2 являются накрест лежащими углами при пересечении прямых a и b секущей c.
По условию ∠1 = ∠2.
Если накрест лежащие углы равны, то прямые параллельны. Следовательно, a || b. Доказано.