Definition:Wieferich Prime

Definition
A Wieferich prime is a prime number $p$ such that:
 * $p^2 \divides 2^{p − 1} − 1$

where $\divides$ denotes divisibility.