Legendre's_theorem_on_spherical_triangles loading ...