theorem
  Ball(x,r) is empty implies r <= 0;
