とする．このとき が成立する． (証明) 1 (1) 仮定 2 (2) 仮定 1,2 (3) 1,2. →-除去 1 (4) 1-3. →-導入 1 (5) 3,4. →-除去 (6) 3-5. →-導入 (7) 5,6. →-除去 ☆ 逆も同様に示される．▢

とする．このとき が成立する． (証明) 1 (1) 仮定 2 (2) 仮定 1,2 (3) 1,2. →-除去 1 (4) 1-3. →-導入 1 (5) 1,4. →-除去 (6) 1-5. →-導入 ☆ 逆も同様に示される．▢