WORMHALL

In 1657 Pierre de Fermat challenged the English mathematicians Sir Kenelm Digby and John Wallis to find all the integer solutions to the equation y^2 + 2 = x^3.

>Fermat claimed to have a proof (likely utilizing his "method of infinite descent"), but in his typical fashion, he did not share it.

based non sharer