theorem Th36:
  seq is monotone & seq is bounded implies seq is convergent;
