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).