\forall x(A\rightarrow B(x))\rightarrow(A\rightarrow\forall x\,B(x))