Сформулируйте аксиому, которая отличает геометрию Лобачевского от евклидовой геометрии.