Pulling a New Proof from Knuth's Fixed-Point Printer