“…Of particular importance is the phenomenon of rigidity of complex structures of such manifolds (e.g., see Siu [15,16]). In 1987, Mok [10,11] obtained metric rigidity theorems on Hermitian locally symmetric manifolds, and their proofs are applied to the study of holomorphic mappings between Hermitian locally symmetric manifolds of the same type, yielding various rigidity theorems on holomorphic mappings (see Mok [12]). Inspired by the idea in Mok's work [10,11], Tsai [17,18] We shall now present an outline of the argument in our proof of Theorem 1.1.…”