Se sigue que formula_419, y de esto que formula_420 para un formula_6 tal que formula_40, o sea que formula_423 y formula_7, de modo que formula_425 y formula_382, y por tanto formula_427.