theorem :: COMPTRIG:58

for x being Element of COMPLEX
for v being CRoot of 1,x holds v = x