theorem Th13: :: LOPBAN_6:13

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