とする．このとき (1) に対して (ア) (イ) (2) 分配法則 (ア) (イ) (3) (ア) (イ) が成立する． (証明) (1) (ア) を示す． を仮定する．このとき s.t. に対して と置けば，についてもが存在する．したがって，→-導入より と書ける．すなわち が成立する． (…