>>824
∀と∃の違いわかるかな?