Definition:Wieferich Prime

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

where $\backslash$ denotes divisibility.