theorem :: SEQ_4:111

for n being Nat
for r being Real
for x being Element of COMPLEX n st 0 < r holds
x in Ball (x,r)