property들 정리