Теоремы об углах образованных двумя параллельными прямыми и секущей равны?

Если две параллельные прямые пересечены секущей, накрест лежащие углы равны.
Если две параллельные прямые пересечены секущей, то соответственные углы равны.
Если две параллельные прямые пересечены секущей, то сумма односторонних углов равна 180°.
Если при пересечении двух прямых секущей накрест лежащие углы равны, то прямые параллельны.