局部化不等于可分解

先证明交换只影响锚点一侧，再单独验证该侧的等价条件；不要把“局部”直接当成“左右独立可分解”。