theorem
  x/-infty = 0;
