Probar el Teorema 7.1.

Supongamos que S1 y S2 son dos funciones de V en A que coinciden en todas las variables que ocurren libres en 0.
Entonces se tiene que 21 =

[s1] si y sólo si 21 =

[s2].