Двумерные существа могли бы строить треугольники с заданными вершинами А В, С и отрезками прямых линий в качестве сторон. Они нашли бы, что для маленьких прямоугольных треугольников а Ь и сумма углов треугольника немного больше 180 . Здесь точки В и С находятся на экваторе, а точка Л —полюс шара, причем оба угла а и 0 прямые. Очевидно, что а Ь фс , потому что Ь с.