Show that if does not occur free in , then .

-----------------------------------------------------------

(*) iff for every , we have .

Let be any structure for the language and be any function that satisfies . Therefore, . Since x does not occur free in , . It follows that . Therefore, by (*). Now the conclusion follows.

Is this proof O.K or am I missing something?

Thank you.