theorem :: MATHMORP:75

for n being Element of NAT
for X being Subset of (TOP-REAL n) st X is convex holds
X ! is convex