Holy shit, this was a fantastic proof of your math, stackgambler.  Glad we didn't have to wait months for the proof.  Sad about frenchbull and allgasnobrakes tho.