theorem :: RUSUB_5:47

for V being RealUnitarySpace
for v being VECTOR of V
for r being Real st the carrier of V = {(0. V)} & r > 0 holds
Ball (v,r) = {(0. V)}