https://zsionmom.wordpress.com/2020/01/29/witness-wikipedia-spherical-trigonometry/