{\displaystyle \exists x(P\to Q(x))\to (P\to \forall xQ(x))}