Falta demostrar que el sucesor de un ordinal también está bien ordenado por la relación formula_44.