[병진] 속성 정리