てか ∀x.∃y. と ∃y.∀x. って違うの？
先に∀持ってきても、∃持ってきても同じな気がする・・・。