컴팩트라는게 극한으로 개지랄해도 난장판 안나게끔 하는 조건임? 유한하게 덮는다는 가정이 극한을 존니 편하게 해주는 느낌임...
유한하니까 걍 하나하나 체크해서 되더라같은 느낌임..