theorem
  cF = {} implies Sum cF = 0;
