용어 몇 가지 정리