Die Sprache enthalte Konstanten ${\displaystyle {}c\neq d}$ und es sei eine Interpretation mit ${\displaystyle {}I(c)\neq I(d)}$

gegeben. Die Variable ${\displaystyle {}x}$ sei bei der Interpretation durch ${\displaystyle {}I(c)}$ belegt. Dann gilt ${\displaystyle {}I\vDash x=c}$. Die Substitution ${\displaystyle {}{\frac {d}{x}}}$ führt den Ausdruck ${\displaystyle {}x=c}$ in ${\displaystyle {}d=c}$ über, und dieser gilt nicht unter der Interpretation.