theorem
  +infty" = 0;
