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