The statement (forallx)P(x)rightarrowP(c)(\\forall x)P(x) \\rightarrow P(c)(forallx)P(x)rightarrowP(c) for any constant ccc is:
Existential Instantiation
Modus Ponens
Universal Generalization
Universal Instantiation