$f \mathbb{Z} \to \mathbb{N}$ voldoet aan $f(m-n)|f(m)-f(n) \forall m,n \in \mathbb{Z}.$ Bewijs dat als $f(m)\le f(n)$ dat $f(m)|f(n).$