theorem Th2: :: BROUWER:2

for n being Element of NAT
for x being Point of (TOP-REAL n) holds cl_Ball (x,0) = {x}