If a negative times a negative were to equal a negative, this property would not hold for negative numbers, which is a bad thing. Let and :