El teorema de Herbrand–Ribet especifica en particular, cuando es que "p" divide a "B".