Задачка ∃x∀y P(x,y)→∀y∃x P(x,y) в чистом исчислении предикатов.