redundant condition

Мат. избыточное условие