theorem Th6:
  -+infty = -infty by Def3;
