Entonces se tiene el teorema de Herbrand–Ribet: "G" es notrivial si y solo si "p" divide al número de Bernoulli "B".