theorem :: SEQ_4:121

for n being Nat
for r being Real
for A being Subset of (COMPLEX n) st 0 < r holds
A c= Ball (A,r) by Th119;