Agohin–Giugan otaksuma

Lukuteoriassa Agohin–Giugan otaksuma liittyy Bernoullin lukuihin Sen mukaan p on alkuluku jos ja vain jos

${\displaystyle pB_{p-1}\equiv -1{\pmod {p}},}$

missä ${\displaystyle B_{p-1}}$ on ${\displaystyle p-1}$:s Bernoulliluku. Otaksuman esitti Takashi Agoh vuonna 1990. Yhtäpitävän otaksuman on esittänyt Giuseppe Giuga vuonna 1950: p on alkuluku jos ja vain jos

${\displaystyle 1^{p-1}+2^{p-1}+\cdots +(p-1)^{p-1}\equiv -1{\pmod {p}}.}$