“I have discovered a truly remarkable proof which this margin is too small to contain.”