Cayley Arthur
A theorem in spherical trigonometry