정리 추가