제약 조건  확인