Mazur's theorem