30 ms·"I have discovered a truly marvelous proof of this, which this margin is too narrow to contain"by Dilpil 18y ago"I have discovered a truly marvelous proof of this, which this margin is too narrow to contain"