Comment by jameshart

There is no way Fermat could have fit that in the margin. Definitely vindicated.