Napier's Cosine Rules for Right Angled Spherical Triangles

Napier's Rules for Right Angled Spherical Triangles: Cosines
The sine of the middle part equals the product of the cosine of the opposite parts.

Also see

 * Napier's Tangent Rules for Right Angled Spherical Triangles