theorem Th10: :: EULER_2:10

for R1, R2 being complex-valued FinSequence st R1,R2 are_fiberwise_equipotent holds
Product R1 = Product R2