theorem
  0 < r implies A c= Ball(A,r)
by Th119;
