theorem Th45: :: MATRIXC1:47

for F being FinSequence of COMPLEX st len F = 1 holds
Sum F = F . 1