Beweise in N {\displaystyle {}\mathbb {N} } die Gleichheit
durch Induktion über k {\displaystyle {}k} unter Verwendung der Gleichung n + k ′ = ( n + k ) ′ {\displaystyle {}n+k'=(n+k)'} , wobei x ↦ x ′ {\displaystyle {}x\mapsto x^{\prime }} die Nachfolgerabbildung bezeichnet.