theorem Th01: :: COUSIN2:1

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