In Chapter 2 we proved results such as a x 0 = 0 and that the additive inverse, -a, of a is unique. Although we were thinking of the letter a as an integer when conducting those arguments, the symbol a could have stood for any member of an arbitrary commutative ring, as the argument rests only on laws that apply in that context.