Por ejemplo, formula_59 es distributiva con respecto a formula_63, lo que significa que formula_64.