≠の式ってなんで移項したらあかんのや?

1 ：以下、？ちゃんねるからVIPがお送りします：2021/03/15(月) 20:55:34.849 ID:u/dbq7x90.net

aa≠7bb⇔7≠aa/bbが成り立たんのはなんでや?

2 ：以下、？ちゃんねるからVIPがお送りします：2021/03/15(月) 21:04:41.617 ID:bFSO/K3Ua.net

移行ができるのは移行ルだけ！