The associative law for addition: (a b) c = a (b c).
Summary of the commutative and associative laws.