A prime p satisfies 2^(p-1) ≡ 1 (mod p²). This defines a:
Mersenne prime
Wieferich prime
Wall-Sun-Sun prime
Safe prime