theorem Th67: :: POLYNOM9:67

for fc being FinSequence of F_Complex
for fr being FinSequence of F_Real st fc = fr holds
Product fc = Product fr