theorem Th2: :: INTEGR19:2

for X being set
for a, b, c, d being Real st a <= c & c <= d & d <= b & ['a,b'] c= X holds
['c,d'] c= X