I agree and I commented something similar above. I'd be curious though to see the original derivation. It wasn't immediately clear to me despite a long history

I agree and I commented something similar above. I'd be curious though to see the original derivation. It wasn't immediately clear to me despite a long history with being told to "rtfm".