theorem Th57: :: SEQ_4:57

for k, n being Nat
for z being Element of COMPLEX n st k in Seg n holds
z . k in COMPLEX