donde "k" es el único entero que cumple formula_12 pero formula_13.