Den visar att denkompakta