not only that, but if p is prime and p = 2^n-1 then n is also prime

proof: https://jott.live/texdown/mersenne