Talk:Mazur's control theorem