今回は後々使う事実からまず証明していきます。 定理 を の元とするとき (証明) 右から左に関しては から なので成り立つ. 左から右を示すため命題 として を用意し, まずこれを示す. は真である. が成り立つと仮定する. このとき であり, として をとればよ…