Funktionssymbol/Wert/Eindeutige Existenz/Allgemeingültig/Aufgabe

Es sei ${}S$ ein erststufiges Symbolalphabet und ${}f\in S$ ein ${}n$ -stelliges Funktionssymbol. Zeige, dass der Ausdruck

\exists y{\left({\left(fx_{1}{\ldots }x_{n}=y\right)}\wedge \forall z{\left({\left(fx_{1}{\ldots }x_{n}=z\right)}\rightarrow y=z\right)}\right)}