theorem Th55: :: JORDAN2C:70

for n being Nat
for u being Point of (Euclid n)
for a being Real
for P being Subset of (TOP-REAL n) st P = Ball (u,a) holds
P is convex