Entoncesf está la función de identidad; es decir,f(x)=x para cualquierax∈R. Por lo tanto, el lema afirma que la función de identidad es el único automorfismo del campo de los n...Entoncesf está la función de identidad; es decir,f(x)=x para cualquierax∈R. Por lo tanto, el lema afirma que la función de identidad es el único automorfismo del campo de los números reales. Luego hay un número racionalmn que se encuentra entrea yf(a); es decir, los números y+mn=f(a)==f(x+mn)==f(x)+f(mn)==f(x)+mn;
