theorem Th5: :: BORSUK_4:8

for A being Subset of I[01]
for a, b being Real st a < b & A = ].a,b.[ holds
[.a,b.] c= the carrier of I[01]