Gelfand mazur theorem