We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
A formalised proof of "The only solutions in integers of the Thue equation x³-2y³=1 are (1,0) and (-1,-1)."