とする．このとき，次の式を因数分解せよ． (1) (2) (3) (4) (解答の方針) (1)について ∀-除去 より ∀-導入 と書ける． (2)について ∀-除去 より ∀-導入 で表される． (3)について ∀-除去 より ∀-導入 である． (4)について ∀-除去 より ∀-導入 を得る．