associativity of Day convolution
associativity of Day convolution