とする． 和集合 s.t. 共通部分 但しは自由変項

とする．このとき，次が成立する． (1) (ア) (イ) (2) (ア) (イ) (証明) (1) (ア) を示す． を仮定する．このとき，∨-導入より i.e. を得る．したがって，→-導入から(ア)が示された． (イ) (ア)と同様に示される． (2) (ア) を示す． を仮定する．このとき …