Deakstadieđáhus: Concentration compactness