Comment by NooneAtAll3

> Given the likely length of the shortest possible proof, I feel like Fermat is 100% vindicated - the proof won’t fit in the margin.

https://xkcd.com/1381/