theorem Th37: :: RUSUB_5:37

for V being RealUnitarySpace
for v being Point of V
for r being Real holds Ball (v,r) in Family_open_set V