Si formula_16 entonces el orden es infinito, mientras que si formula_17, formula_18, entonces formula_19.