Es sei
das Symbolalphabet, das außer Variablen für jedes
ein einstelliges Relationssymbol
enthält. Wir betrachten die Menge
, wobei wir das Relationssymbol
durch
-
interpretieren. Es sei
ein Ausdruck in einer freien Variablen
, wobei in
die Relationssymbole
vorkommen mögen. Es sei
das
kleinste gemeinsame Vielfache
von
. Zeige, dass
-
genau dann gilt, wenn
-
gilt.