I say this expression is true: if x and y are both integers, then xy= |x| |y|. Is this correct?

No. It is not true.

What if x is -1 and y is +1?