en efecto, es inmediato comprobar que formula_179 es un ordinal.