theorem Th30: :: URYSOHN2:30

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