"Prop. 18 & 19. though... the... foundation of... Spherical Trigonometry... have not been demonstrated... except in one single case... it does not seem... long ago, that they... appear anew in their present form. V. Keil."