Свойство двух прямых, параллельных третьей
Две прямые, параллельные третьей, параллельны.
Это свойство называется транзитивностью параллельности прямых.
ИСТОЧНИК: http://e-science.ru/math/theory/?t=198