정리 끝