[EQ] dot(a, b+c) = dot(a,b) + dot(a,c) [/EQ]