( U-3 ) formula_17 (conmutatividad)