Wieferich pair
In mathematics, a Wieferich pair is a pair of prime numbers p and q that satisfy
- pq − 1 ≡ 1 (mod q2) and qp − 1 ≡ 1 (mod p2)
Wieferich pairs are named after German mathematician Arthur Wieferich. Wieferich pairs play an important role in Preda Mihăilescu's 2002 proof of Mihăilescu's theorem (formerly known as Catalan's conjecture).