theorem
  n is non zero & Sphere(x,r) is empty implies r < 0;
