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
-