Talk:Mazur's lemma