theorem Th14:
  Sum(f^F) = Sum(f) + Sum(F)
  proof
    f is FinSequence of COMPLEX & F is FinSequence of COMPLEX by RVSUM_1:146;
    hence thesis by MATRIXC1:46;
  end;
