Fermat didn't have a proof, he only thought he did.