Gelfand–Mazur Theorem