>>122
君が主張してるのは
|- X ↔ Y
のとき
(|- X) ⇔ (|- Y)
が言えるっていう無茶苦茶な話だろ
これが正しいっていうのなら証明すべき
まあ成り立つ訳が無いから無理だけど