Talk:Gelfand-Mazur theorem