Natürliche Zahlen/Ordnung/Mengentheoretisch/Übertragung auf Nachfolger/Fakt/Beweis

Beweis

Dies folgt aus der in Fakt bewiesenen Bijektion

$N_{\ge k}⟶N_{\ge k^{\prime }},x⟼x^{\prime }.$

Zur bewiesenen Aussage