Sea formula_10 y formula_11 un número no negativo.