  We will prove the freeness of multi-Coxeter arrangements by constructing a
basis of the module of vector fields which contact to each reflecting
hyperplanes with some multiplicities using K. Saito's theory of primitive
derivation.
