3 ms·

If he could have proven the theorem in a week despite its having a counterexample, that is impressive.