(I wrote out a derivation, to see if it was the right length to include. This is online, so no need to save paper. Worthwhile?)