integer-value constraint

Мат. целочисленное ограничение