Mazur's Theorem