∠1 и ∠2 накрест лежащие углы, образованные пересечением прямых m и n секущей.
∠1 = ∠2
Если две параллельные прямые пересечены секущей, накрест лежащие углы равны. Соответственно, если при пересечении двух прямых секущей накрест лежащие углы равны, то эти прямые параллельны.