밀만의 정리1