for h being complex-valued FinSequence holds Sum h = (h,1) +... by Th18;