Если прямая а параллельна прямой b, а прямая b параллельна прямой с, то прямая а параллельна прямой с (по свойству транзитивности параллельности прямых). Следовательно:
a || b, b || с => a || c (по свойству транзитивности параллельности прямых).
a || c, с || d => a || d (по свойству транзитивности параллельности прямых).