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

${\displaystyle \{k,\ldots ,n\}\longrightarrow \{k^{\prime },\ldots ,n^{\prime }\},\,i\longmapsto i^{\prime },}$

bijektiv