This is a question French mathematician Pierre de Fermat posed to the English mathematicians of his time. "Prove that x=5 and y=3 are the only positive integer values for which $x^2 +2=y^3$." I have been trying to come up with an answer for days using modular arithmetic to no avail. Any such method would therefore be appreciated as well as other insights.