theorem Th24: :: C0SP3:24

for X being NormedLinearTopSpace
for x being Point of X
for r being Real
for V being Subset of X st V = { y where y is Point of X : ||.(x - y).|| < r } holds
V is open