とする．このとき (1) (2) (3) (4) () が成立する． (証明の方針) ∀-除去 ∀-除去 ∀-除去 を考える． (1)について 左辺 に対して 平行移動 いま と置けば で表すことができる．他方 右辺 について に対して と置く．に対して 平行移動 で書ける．ここでたとえ…