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.