Herbrand–Ribet theorem — latest news, discussion & facts — IJR