Für α {\displaystyle {}\alpha } betrachten wir den Ausdruck x 1 = x 2 {\displaystyle {}x_{1}=x_{2}} und wir setzen t 1 := x 2 {\displaystyle {}t_{1}:=x_{2}} und t 2 := x 1 {\displaystyle {}t_{2}:=x_{1}} . Dann ist einerseits (wir schreiben ≡ {\displaystyle {}\equiv } für die Gleichheit von Ausdrücken)
was allgemeingültig ist, und andererseits
was nicht allgemeingültig ist. Somit ist
betrachten wir den Ausdruck 
und wir setzen
und
.
Dann ist einerseits
(wir schreiben 
für die Gleichheit von Ausdrücken)
