Natürliche Zahlen/Ordnungsrelation/Verträglichkeit/Fakt/Beweis/Aufgabe