몇가지 정리