Coefficient reduction for inequalities in 0–1 variables