Agoh–Giuga conjecture
In number theory the Agoh–Giuga conjecture on the Bernoulli numbers Bk postulates that p is a prime number if and only if p B p − 1 ≡ − 1 ( mod p ) . {\displaystyle pB_{p-1}\equiv -1{\pmod {p}}.} It is named after Takashi Agoh and Giuseppe Giuga.