Es sei
-

insbesondere ist
.
Wir behaupten, dass in
die Anzahl der
gleich
und die Anzahl der
gleich
und somit die Anzahl der Buchstaben gleich
ist. Diese Aussagen beweisen wir durch Induktion über
. Für
sind sie richtig. Es seien sie nun für
bewiesen, wir wissen also, dass es in
genau
viele
und
viele
gibt. Beim Ersetzungsprozess bleiben die
stehen, und die
werden durch
ersetzt. Daher ist die Anzahl der
in
gleich
-

und die Anzahl der
in
gleich
-
