  Quantum nonlocality can be tested in experiments via the violation of the
Bell inequality. We propose novel methods of the rearrangement and linear
inequality to prove all the known Bell-CH inequalities of $Imn22$-type
($m,n\le5$). We also derive a set of new Bell-CH inequalities by using these
methods which should be violated in quantum entangled states.
