ТЕОРЕМА: если при пересечении двух прямых третьей накреси лежащие углы равны, то прямые параллельны.
ОБРАТНАЯ ТЕОРЕМА: если прямые параллельны, то накресть лежащие углы равны.
Также по аналогии можно сделать по две теоремы о односторонних и соответственных углах