Talk:Ribet's lemma