Wieferich prime

This article defines a property that can be evaluated for a prime number. In other words, every prime number either satisfies this property or does not satisfy this property.
View other properties of prime numbers | View other properties of natural numbers

Definition

A Wieferich prime is an odd prime $p$ such that:

$2^{p-1}\equiv 1(\mathrm{mod}{p}^2)$.

In particular, $2$ is not a primitive root modulo the square of a Wieferich prime.