entonces la característica de formula_11 divide la característica de formula_1.