spherical-triangle public under spherical-polygon 1 List Picture As a command %3 n0 spherical-triangle n1 spherical-polygon n1->n0