(-a)(-b) = -a(-b) = ab