Even if constraint propagation does not produce an empty domain or an unsatisfiable constraint, it may nevertheless reduce the domains or strengthen the constraints.
Навіть якщо розповсюдження обмежень не створює порожню область або нездійсненне обмеження, проте воно може зменшити області або підсилити обмеження.