Compactness Theorem