Assume that the universe of discourse is the set ℤ of all integers.

Prove or disprove the following assertion.

"If x and y are odd, then the product of x and y is also odd."