Re: [math-fun] Fwd: Re: generalized law of cosines