Natürliche Zahlen/Ordnungsrelation/Total/Fakt/Beweis/Aufgabe