theorem Th60: :: SEQ_4:60

for k, n being Nat
for c being Element of COMPLEX
for z being Element of COMPLEX n st k in Seg n & c = z . k holds
(- z) . k = - c