Es sei I {\displaystyle {}I} eine Interpretation mit
also
und
Nach dem Substitutionslemma bedeutet dies
Wegen der Gleichheiten I ( s j ) = I ( t j ) {\displaystyle {}I(s_{j})=I(t_{j})} kann man dies genauso gut als
schreiben. Mit dem Substitutionslemma ergibt sich hieraus wiederum