for X being Subset of REAL st X is compact holds
X is closed