We have learned that an even integers can be expressed as , where is an integer. Now if we add one to an even integer, it becomes odd. Similarly, if we subtract one from an even integer, it also becomes odd. Therefore, odd integers can be expressed as or , where is an integer. Now, we proceed with the theorem and the proof.