Show that $(\exists v_0 \varphi \to \psi) \vdash \forall v_0 (\varphi \to \psi)$

Question

The proposition in the title should be proven with the following axioms:

1. Any $L$-Tautologies
2. $\forall$-Axiom $(\forall v_i \varphi \to \varphi \frac{\tau}{v_i})$ $v_i$ is free for $\tau$ in $\varphi$

3. Modus Ponens
4. $\forall$-Introduction if $T \vdash \varphi$ then $T \vdash \forall v_i \varphi $

I am looking for a simple hint, because I have been spinning my wheels for way too long with this problem. If axioms are unclear, I apologize and I will try to clarify it.