Re: [math-fun] another circuitous derivation