  We show that the characteristic cycle of the exterior product of
constructible complexes is the exterior product of the characteristic cycles of
factors. This implies the compatibility of characteristic cycles with smooth
pull-back which is a first step in the proof of the index formula.
