Así formula_280 para todo formula_72, luego formula_282.