Talk:Gelfand–Mazur theorem