Fermat's Last Theorem states that there are no integers \( x, y, z \) and \( n \) greater than 2 such that \[ x^n + y^n = z^n. \] Fermat famously wrote in the margin of his copy of Diophantus' *Arithmetica* that he had discovered "a truly marvelous proof" of this theorem, which he claimed was too large to fit in the margin.