Gelfand–Mazur_theorem loading ...