ただ、∀x.P⇒QだけではQは示せない ほかに∃x.Pが必要