theorem
  x/+infty = 0;
