Natürliche Zahlen/Ordnung/Differenz/Zweifache Subtraktion/Aufgabe

Es seien ${}a,b,c$ natürliche Zahlen mit  ${}a\geq b$  und  ${}a-b\geq c$.  Zeige, dass dann  ${}a\geq b+c$  ist und dass

${}(a-b)-c=a-(b+c)\,$

ist.

Zur Lösung, Alternative Lösung erstellen