-. devepency 정리