Si A conmuta con H, formula_12, entonces, necesariamente