Show that any positive odd integer is of the form or where is some integer.
is the first odd positive number but it does not leave a remainder .
Euclid's division algorithm:
Given positive integers , there exist unique satisfying
If are two integers, then as per Euclid's division algorithm
Let the positive integers be and let be equal to
, is an integer it is greater than and less than
Case 1:
When
It is an odd integer.
Case 2:
When
It is also an odd integer.
In the case of , it will be an even number.
Therefore, Positive odd integers are in the form of .
Hence, Proved.