theorem :: POLYEQ_3:37

for n being non zero Nat
for v being CRoot of n, 0 holds v = 0