Cuando formula_17, formula_32 se dice el complemento de formula_1 en formula_10.