HCR's Theorem (Rotation of two co-planar planes, meeting at a common edge, about their intersecting straight edges )
HCR's formula for regular spherical polygons