Теорема параллельности прямых

Теорема параллельности прямых гласит, что если две прямые пересекаются с третьей и образуют внутренние углы суммой 180 градусов, то эти прямые параллельны.