ベルヌーイ数
The Herbrand–Ribet theorem states that for odd "n", "G""n" is nontrivial if and only if "p" divides the Bernoulli number "B""p"−"n".