Свойство накрест лежащих углов при паралельных прямых
При параллельных прямых и секущей накрест лежащие углы равны