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