Неевклидова геометрия: Любая кривая короче прямой, если на прямой стои

Неевклидова геометрия: Любая кривая короче прямой, если на прямой стоит
начальник.