theorem Th02: :: COUSIN2:2

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