Теорема (о третьей прямой, параллельной двум другим)

Теорема: если две прямые параллельны третьей, то они параллельны.