por un corolario anterior, que formula_35.