Multiplication of a Positive Integer by a Negative Integer