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