Med kännedom om denkompakta