theorem Th7: :: FRECHET:7

for x being Point of RealSpace
for r being Real holds Ball (x,r) = ].(x - r),(x + r).[