1278.8 상태 불변 조건의 정의