for i being Nat
for c being Complex
for R being b₁ -element FinSequence of COMPLEX holds Product (c * R) = (Product (i |-> c)) * (Product R)