theorem
  s is absolutely_summable implies s is summable;
