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

Prove or disprove the following assertion.

"There is one and only one integer x such that for all y and z, xy is equal to xz."