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