theorem Th24: :: MEASUR12:24

for a, b being Real
for I being Subset of R^1 st I = [.a,b.] holds
I is compact