What does it mean for a prime p to 'divide' 2^p - 2?
p | 2^p - 2 is always true by Fermat's Little Theorem
p | 2^p - 2 only if p is a Mersenne prime
p | 2^p - 2 only if p is odd
p | 2^p - 2 only if p > 100