Demostrar que, a $f:\mathbb{R}\rightarrow \mathbb{R} $ es un isomorfismo si, sólo si $f(x)=x $.
Para cualquier elemento racional que es el derecho, pero no sé cómo demostrar a los irracionales. Me gustaría probarlo usando sólo las propiedades de completar ordenó campo.
