theorem
  -infty" = 0;
