Por la proposición anterior, formula_180 es también un ordinal.