theorem :: RUSUB_5:44

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