Mazur's theorem Ascoli–Mazur theorem Mazur's Conjecture B Mazur's control theorem Mazur's lemma Mazur's torsion theorem