for n being non zero Nat
for x being Element of COMPLEX
for v being CRoot of n,x st v = 0 holds
x = 0