CG:M2U'MU2M'U'M2

是否这样看：
M2 U' M U2 M' U' M2 好像不是XYX'Y'类型，或许是XYX'类型，并且Y内部又有XYX'类型。即：
M2 [ U' M U2 M' U' ] M2，
而括号内又是两个XYX'类型：[（U' M U ) ( U M' U'）]

M2 U':[M,U2]
=M2 U' M U2 M' U2 U M2//展开
=M2 U' M U2 M' U' M2//消步

？