Euler's proof concerning ( ).

Suppose (mod p ) for some prime p with (mod 4). Then from (mod p ) one has (mod p ), giving

(mod p ) ... (i)

But clearly (mod p), and so by Fermat's little theorem

(mod p ) ... (ii)

and (i) and (ii) are incompatible for odd p , since they imply (mod p ).