Beweis
Es sei
-

Wenn man für
den Term
einsetzt, so entsteht bei
ein
-Term, den man durch eine Substitution
-

nicht wegbekommt. Also muss
sein. Damit muss auch
sein, da andernfalls ein
-Term entsteht. Es sei also
und
,
was auf die neue Gleichung
-

führt. Damit man diese sowohl in
als auch in
normieren kann, muss
-

sein. Dies ist nach
Aufgabe
genau dann der Fall, wenn es ein
mit
,
gibt. Die Normierung wird dann mittels Division durch
durchgeführt, was auf
und
führt.