theorem :: PCOMPS_1:22

for T being non empty TopSpace st T is compact holds
T is paracompact