For two vectors X and Y, and with respect to two suitable operations ⊗ and ⊕ is a vector Z=Z₀ Z₁ ... Z_m+n where Z_k=⊕_i+j=kX_i ⊗ Y_j (k=0, ... , m+n).