Re: [math-fun] 3D version of central angle theorem