si formula_463 y formula_464) entonces también formula_465, y que además formula_466 y formula_467.