K가 R의 부분집합이고 컴팩트이면 유계고 닫힌 집합인건 증명했는데 역을 아직 못했거든(고민은 많이 안 해본 상태). 역 증명이 좀 기교적이라서 못할 정돈지 물어보고 싶음.