(R,+, ⋅ , ≤) es un cuerpo ordenado.