I missed the concept of "proofs" in highschool.

I'm a programmer right now and something tells me they are valuable to my interest in pattern finding.

I was reading this wiki page about basic proofs, but there is something I did not understand.

It's extremely simple, I'm sure, but I don't want to jump to assumptions.

So here it is

"If x is odd (not even) then x = 2k + 1 for an integer k."

Does this mean "make K any integer"? The language used isn't intuitive.

Thanks for any help.