Vorgänger/2a von a/Induktion/Aufgabe/Lösung
Der Induktionsanfang für ist klar, da die -te Iteration einer bijektiven Abbildung als Identität zu verstehen ist. Somit ist
Sie die Aussage nun für schon bewiesen. Dann ergibt sich die Aussage für aus