...P
Matt Schwab prepared a draft of the Gardner DMO derivation. Shuki Ronen gave me the ``law of cosines'' proof.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .