Question: 13.47 Language Proof and Logic (Change of bound variables) This is done on the program Fitch and I dont really know how to solve it.

Here is the premise:

x Tet(x)

And trying to prove this:

y Tet(y)