>>232
x1⇔x2　y1⇔y2だけじゃ足りないよ。m⇔nも入れ替えなきゃダメ。
そうすると結局元の式と同じになる。