compression 정리