$\forall x [P(x) \rightarrow Q(x)] \Rightarrow [\forall x P(x) \rightarrow \forall x Q(x)]$
If the LHS is true, then Q(x) must be true for all values of x. Since Q(x) is true for any value, then Q(y) is always true. Thus the RHS is also always true.