theorem Th55: :: NUMBER15:55

for f being complex-valued FinSequence holds len (f ") = len f