theorem Th109: :: SEQ_4:110

for n being Nat
for r being Real
for x, z being Element of COMPLEX n holds
( z in Ball (x,r) iff |.(x - z).| < r )