theorem Th14: :: TOPREAL6:15

for a, r being Real st r > 0 holds
a in ].(a - r),(a + r).[