Let $\displaystyle n_0\in\mathbb{Z}$, S is nonempty subset of $\displaystyle T=\left(n\in\mathbb{Z}|n\geq n_0\right)$ and l* is a the least element of the set $\displaystyle T^*=\left(n-n_0+1|n\in S\right)$. Then $\displaystyle n_0+l+1$ is a least element of S.

I am not sure how to go about this one.