이별 정리 (Inst.)