theorem Th12: :: LOPBAN_6:12

for X being RealNormSpace
for x being Point of X
for r being Real
for V being Subset of (LinearTopSpaceNorm X) st V = Ball (x,r) holds
V is convex