交换律而已，不在话下……嗯？！

还没看，先写个自己的。.表示星号 :表示等号

x.y:((x.y).x).x:((x.y).((x.y).y)).x:y.x