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