Redirecting to Gelfand-Mazur theorem