If 
and 
(i.e., 
and 
are relatively prime), then 
has at least one primitive
prime factor with the following two possible exceptions:
1. 
.
2. 
and 
is a power of 2.
Similarly, if 
,
then 
has at least one primitive prime factor
with the exception 
.
A specific case of the theorem considers the 
th Mersenne number 
, then each of 
, 
, 
, ... has a prime factor
that does not occur as a factor of an earlier member of the sequence, except
for 
.
For example, 
,
,
,
... have the factors 3, 7, 5, 31, (1), 127, 17, 73, 11, 
, ... (OEIS A064078)
that do not occur in earlier 
. These factors are sometimes called the Zsigmondy numbers
.
Zsigmondy's theorem is often useful, especially in group theory, where it is used to prove that various groups have distinct orders except when they are known to be the same (Montgomery 2001).
