theorem Th03: :: COUSIN2:3

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