theorem Th53: :: NUMBER19:53

for L being domRing
for z being FinSequence of the carrier of L holds Roots (~ (Product (rpoly (((len z) |-> 1),z)))) = rng z