The only whole number solution to the Diophantine equation y^3 = x^2 + 2 is y = 3, x = ± 5. This theorem was offered as a problem by Fermat, who suppressed his own proof.