Show that every positive even integer is of the form and that every positive odd integer is of the form where is some integer.
By Euclid's division lemma:
Let us suppose that and are two positive integers such that .
Euclid's division lemma expression:
Putting (it is a positive even integer)
If , which is divisible by
If , which is not divisible by
That means every positive integer is either even or odd.
So, if is an even positive integer then it is of the form and if is an odd positive integer then it is of the form .
Hence, proved.