Show that the formula (where is a one-place function symbol and is a two-place predicate symbol) is valid.

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

(*) If , then .

We show .

By (*), it suffices to show that . Therefore, we need to show every that satisfies and with every function satisfies with . That is, if and , then .

I am stuck here. Any help will be appreciated.