Napier's Tangent Rules for Right Angled Spherical Triangles

Theorem

 * The sine of any middle part equals the product of the tangents of the adjacent parts.