Es sei 
ein
Symbolalphabet erster Stufe
und 
eine
-Struktur.
Für jede
elementare Äquivalenzklasse
![{\displaystyle {}[m]\subseteq M}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a56bbef4f091f2e9d13c7abeefc26cf0da95752d)
gebe es einen -Ausdruck ![{\displaystyle {}\alpha _{[m]}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/371bf9d81fba3ae2fbea7d4f483577bec4bd5590)
in einer freien Variablen 
, der die Klasse ![{\displaystyle {}[m]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9de3179473671fbbf47b5fef5c16498371620072)
beschreibt. Zeige, dass für ein 
-stelliges Funktionssymbol 
aus 
nicht die Gleichheit 
folgen muss.
