redundant constraint

Мат. избыточное ограничение