とする．このとき が成立する．但し である． (証明の方針) 群の単位元について とはどういう意味だろうか． s.t. () つまり，というのがに存在するときに，任意のの元について条件をみたす．が存在しないときも，その条件で書ける，と解釈できる． 一方，19…

とする．このとき > < をともにみたすがちょうど3個となるようなの値の範囲を求めよ． (解答の方針) まず，一次不等式の整数解について解く． s.t. > < < < 代表として，自由変数で考える． 1 (1) > < 前提 2 (2) > < 仮定 2 (3) > 2. ∧-除去 i.e. > i.e. > …