Für k = 0 {\displaystyle {}k=0} ist die Aussage richtig, da dann die linke Summe leer ist und s 0 = x {\displaystyle {}s_{0}=x} ist. Es sei die Aussage für ein k {\displaystyle {}k} richtig. Dann gelten unter Verwendung der Rekursionsvorschrift
die Gleichheiten