Две прямые параллельные третьей прямой параллельны. Следствия параллельных прямых. следствия из аксиомы параллельности. следствия из аксиомы параллельных прямых.