Treatise on Spherical Trigonometry, and Its Application to G door John Casey