theorem :: BHSP_2:42

for X being RealUnitarySpace
for x being Point of X
for r being Real st r > 0 holds
x in Ball (x,r)