theorem Th72: :: TOPREAL6:79

for P being Subset of (TOP-REAL 2) st P is bounded & P is closed holds
P is compact