Hello, I-Think!

Your proof is correct.

Prove that the square of an odd integer is always of the form where is an integer.

Let the odd integer be: .

. . Then: .

Here is a very sneaky step . . .

. . . . . . . . two consecutive integers

With two consecutive integers, one of them is even.

. . Hence, their product is even: .

Then becomes: .