Napier's Cosine Rules for Right Angled Spherical Triangles

Theorem

 * The sine of any middle part equals the product of the cosines of the opposite parts.