Comment by mmusson

Which version? Because his first version of the proof had an error that he had to go back and fix.