Es seien ${\displaystyle {}x_{1},\ldots ,x_{n}}$ Variablen, ${\displaystyle {}s_{1},\ldots ,s_{n},t_{1},\ldots ,t_{n}}$ Terme und ${\displaystyle {}\alpha }$ ein Ausdruck in einer prädikatenlogischen Sprache ${\displaystyle {}L^{S}}$. Zeige, dass

${\displaystyle s_{1}=t_{1}\wedge \ldots \wedge s_{n}=t_{n}\rightarrow {\left(\alpha {\frac {s_{1},\ldots ,s_{n}}{x_{1},\ldots ,x_{n}}}\rightarrow \alpha {\frac {t_{1},\ldots ,t_{n}}{x_{1},\ldots ,x_{n}}}\right)}}$

allgemeingültig