Es seien k {\displaystyle {}k} und n {\displaystyle {}n} natürliche Zahlen. Zeige, dass die (Nachfolger-)Abbildung
bijektiv ist.