Natürliche Zahlen/Ordnungsrelation/Addition/Fakt/Beweis

Beweis

Die Zahl gibt an, wie oft man von aus den Nachfolger nehmen muss, um zu zu gelangen.