In one of his letters to Frenicle, Fermat stated the proposition that no prime of the form $q^2+2$ can divide any number of the form $x^22$.
Is there a known proof of this statement? If not, how would one go about proving it?
Many thanks!
In one of his letters to Frenicle, Fermat stated the proposition that no prime of the form $q^2+2$ can divide any number of the form $x^22$. Is there a known proof of this statement? If not, how would one go about proving it? Many thanks! 


Following up on Noam's comment, here are two possibilities.
Of course Fermat did not have congruences, but the statements above are easily translated into simple divisibility results. Both proofs have the advantage of only using the first supplementary law, which was accessible to Fermat early on. 


It's not true: 2 is of the form $q^2+2$, and it divides $2^22 = 2$. Assuming you mean an odd prime, it's an easy exercise in quadratic reciprocity: if $p$ divides $x^2  2$, then $x^2 \equiv 2 \pmod{p}$, so (by quadratic reciprocity) $p \equiv \pm 1 \pmod{8}$. But, if $p = q^2+2$, then $q$ must be odd, in which case $p \equiv q^2+2 \equiv 3 \pmod{8}$, a contradiction. I have no idea what Fermat's proof would have been. 


Not an answer to the question, but to Noam's comment. A survey of the subject is given in: 

