Es sei α {\displaystyle {}\alpha } ein Ausdruck über einem erststufigen Symbolalphabet S {\displaystyle {}S} und seien x , y {\displaystyle {}x,y} Variablen. Die Variable y {\displaystyle {}y} komme in α {\displaystyle {}\alpha } nicht und die Variable x {\displaystyle {}x} komme in α {\displaystyle {}\alpha } allenfalls frei vor.
Dann ist
