:도입부 정리 필요