theorem Th54: :: BHSP_2:54

for X being RealUnitarySpace
for x being Point of X
for r being Real holds Ball (x,r) c= cl_Ball (x,r)