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