قضیه این constraint چیه؟