Éste resulta ser un anillo y, si formula_19 es irracional, una extensión propia de formula_23.