と置く．このときである． (証明) (⇒) s.t. を示す． を仮定すると，の条件より () と書くことができる．いま と置くと i.e. を得る．これより，→-導入から が成立する． (⇐) s.t. を示す． を仮定すると，の条件よりは和と積で閉じているので で表される．…