Talk:Ihara's lemma