theorem Th1: :: TIETZE:1

for a, b, c being Real st |.(a - b).| <= c holds
( b - c <= a & a <= b + c )