 An inequality that does not satisfy these bounds is necessarily redundant, and can be removed from the system without changing its solution set.The second acceleration theorem detects minimal history sets