> a guy called Don Knuth

I found this unreasonably funny, given we’re posting on a tech-focused forum. It’s like posting about “a proof by some dude called Albert Einstein” on a physics forum. :)

It was, in fact, _the_ Don Knuth. You can see the proof on his site.

I initially assumed that this was a random person using Don Knuth as a username, instead of, you know, the real deal.

Ah yes, and he seems to have typeset it all nicely in Word.

And it's actually only half a page. The first bit is an acknowledgement, and the second half is notes including another few acknowledgements.