theorem
  Ball(x,r) is non empty implies r > 0;
