theorem Th2: :: RUSUB_7:2

for X being RealUnitarySpace
for z being Element of (MetricSpaceNorm (RUSp2RNSp X))
for r being Real ex x being Point of X st
( x = z & Ball (z,r) = { y where y is Point of X : ||.(x - y).|| < r } )