theorem Th5: :: JCT_MISC:5

for A, B being compact Subset of REAL holds A /\ B is compact