Inter-universal geometryとABC予想(シン応援スレ) 84

>>533
>任意のXについて、です
つまり
((A⇒X)⇒(B⇒X))∧((A⇒¬X)⇒(B⇒¬X)) と B⇒A は同値
ってことね。