*속성 정리