cualesquiera que sean formula_9 y formula_10.