述語論理で常に∃x∀y(P(x)⇒P(y))が成り立つことを証明するにはどのようにすればよいですか？