The length of the spherical image of a geodesic on a convex surface
scientific article; zbMATH DE number 3519529