Rigorous QCD inequalities and the ΔI = 12 rule