text: Лобачевский также располагал таким доказательством, но оно было сложнее, в одну сторону модель Евклидовой плоскости в геометрии Лобачевского, оно строилось с помощью модели как и у Бельтрами, в другую сторону шло аналитически.