Entonces formula_10 por la propiedad 1, de manera que se puede escribir como formula_11.