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