Sean formula_17 y formula_18 números reales cualesquiera.