rest 정리