theorem Th88: :: SEQ_4:89

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
(abs z) . k = |.c.|