어떤 명제를 증명하고보니 그 뒤에는 항상 compact가 거물처럼 서있는 느낌? 이게 뭐죠...?