for n being non zero Element of NAT
for z being Complex
for v being CRoot of n,z st v = 0 holds
z = 0