theorem Th27: :: JGRAPH_1:27

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