for n being Nat
for r1 being Real
for z1 being Element of COMPLEX n holds Ball (z1,r1) is open