Mazur's lemma