[man-and-laptop]

See here: https://github.com/jkabrg/Spherical-law-of-cosines-proof-usi...

I'll provide more explanation later.