Es decir, formula_10 es el sucesor de formula_6, lo cual se escribe formula_14.