theorem
  seq is convergent implies -seq is convergent;
