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).