Así, existe formula_199 tal que formula_32, pero en ese caso formula_201, de modo que formula_202, y con esto formula_203.