theorem :: POLYEQ_3:36

for z being Complex
for v being CRoot of 1,z holds v = z