とする．このとき，パラメタに対して を簡単にせよ． (設計) と計算をする．また i.e. i.e. より，パラメタの範囲を決める． > < と置く．いまより が求める答えである． (仕組) ① > i.e. > > から による． ② i.e. から による． ③ < i.e. < < から による．

とする．このとき が成立する． (証明) 1 (1) 仮定 2 (2) 仮定 3 (3) 仮定 4 (4) 仮定 3 (5) 3. ∧-除去 3 (6) 3. ∧-除去 2, 3× (7) 2-5. →-導入 2× (8) 2,7. →-除去 (9) 6,8. ∧-導入 (10) 9. ∨-導入 4× (11) 4-10. →-導入 (12) 9,11. →-除去 (13) 12. ∨-導入…

-準同型写像 i.e. 順序対の写像 i.e. とする．このとき，という図式は可換である．但しとはの自然写像である． ☆ 補足 の元はすべての零元であるので，に置けるの剰余類及びその元は () i.e. で表示される． (設計) と置く．このときより である． (仕組) を…