redundant restriction

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