theorem Th15: :: FLEXARY1:15

for k, n being Nat
for h being complex-valued FinSequence st k > len h holds
(h,k) +...+ (h,n) = 0