theorem Th7: :: COMPTS_1:7

for TS being TopSpace
for PS being Subset of TS st TS is T_2 & PS is compact holds
PS is closed