Natürliche Zahlen/Ordnungsrelation/Addition/Fakt

Für natürliche Zahlen ${}n,k$ gilt

${}n\geq k\,$

genau dann, wenn es ein ${}m\in \mathbb {N}$ mit

${}n=k+m\,$

gibt.

Zum Beweis, Alternativen Beweis erstellen