Luego, por la siguiente propiedad: formula_20, tenemos: