필요없는 부분 정리