in
.RB ( Z /\fIp Z )\*(ss\(**\*(se
divides
-.I p
+.I n
\-
1.
Consider some prime
From
.BR 4 ,
we have
-.IR t \*(ss q \*(se
+.I t
\*(/=
1
(mod
and,
from
.BR 1 ,
-the
-.I q
-are distinct,
+these primes are distinct,
we deduce that
.I Q
divides
.RI # E\*(usp\*(ue |
\(<=
.RI 2\*(sr p ,
+so, in particular,
+.RI # E\*(usp\*(ue
+\-
+.I p
+\- 1
+\(<=
+.RI 2\*(sr p ,
whence
.I p
+ 1 +