Herbrand–Ribet theorem — news, coverage & facts — IJR