Odd number/Remainder representation/Exercise

Show that a natural number ${}n$ is odd if and only if it is of the form ${}n=2k+1$ with some natural number ${}k$.

Create a solution