>>767
∃x∀yP(x,y)⇒∀y∃xP(x,y)
じゃなかったでしたっけ?