多余约束