Comment by kolinko

Wasn’t the proof of Fermatt’s Last Theorem proof similar in complexity?