proper spherical geometry