  We prove two theorems on the locally finite decompositions of the cones of
divisors by the cones which correspond to canonical and minimal models. We
introduce the concept of the numerical linear systems in order to simplify the
argument on the Zariski decompositions.
