theorem LMBALL2: :: NDIFF_8:13

for S being RealNormSpace
for p being Element of S
for r being Real st 0 < r holds
( p in Ball (p,r) & p in cl_Ball (p,r) )