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