theorem Th3: :: NUMBER15:3

for f being complex-valued FinSequence
for g being FinSequence of F_Complex st f = g holds
Product f = Product g