Por la conmutatividad, formula_11 consistiría