We prove a statement which is more precise than the ‘‘Weak’’ Conjecture
in the case where n=p is a prime number such that p — 7(mod 8). This
result is similar to a theorem of Fermat which states that every prime
number p — 1(mod 4) can be written as a sum of two squares.
The proof of the following result was suggested by the referee. Our initial
proof was longer and it contained algebraic number theory arguments