It's important to understand the general idea: if one y make φ true for all x, then for every x there exists its own (in this case, that same) y that makes φ true.

The proof depends on the definition of truth of a formula in a structure, which may vary slightly in different sources. Could you write the parts of the definition for formulas starting with ∀ and ∃?