el conjunto formula_39), luego formula_40.