単体で反転１になるわけじゃなく
これは充満多重的に2つの舞台で片方を固定した合計で3つを比較演算した時に
初めて固定していない2つが情報的に同じだと定義できるってだけだぞ
これだと直感的に分かると思ったんだけどこれでも無理かー