On the intersection of modular correspondences.
We prove that the generalized index of intersection of an analytic set with a closed submanifold (Thm. 4.3) and the intersection product of analytic cycles (Thm. 5.4), which are defined in [T₂], are intrinsic. We define the intersection product of analytic cycles on a reduced analytic space (Def. 5.8) and prove a relation of its degree and the exponent of proper separation (Thm. 6.3).