Proof. If
, then
, therefore
or
.
Moreover
. Since
and
, the primes
are the first three primes represented by the form
.
Take
. Then
Since
is in the same
-orbit, because
, we can take the more reduced form
, given by
Now take
.
We can take also
.
Now take
.
To conclude, the proper equivalences
give forms
properly equivalent to
for
. □