В этом случае всё противоречия тупоугольной геометрии исчезали и появлялась вторая справедливая разновидность неевклидовой геометрии. Впервые это доказал в 1854 году немецкий математик Георг Ф.