비공개 정리를 불러오는 중...