Если прямые a и b параллельны, то накрест лежащие углы, образованные при пересечении этих прямых секущей, равны.
Обратно: Если накрест лежащие углы, образованные при пересечении двух прямых секущей, равны, то эти прямые параллельны.