associativity of product