Category:Pointwise Addition is Associative