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