for f1, f2, g1, g2 being complex-valued FinSequence st len f1 = len g1 holds
(f1 ^ f2) (#) (g1 ^ g2) = (f1 (#) g1) ^ (f2 (#) g2)