Siu's rigidity theorem

Statement

Let $M$ be a compact quotient of an irreducible bounded symmetric domain of dimension at least 2. Then any Kahler manifold homotopic to $M$ is either biholomorphic to $M$ or conjugate-biholomorphic to $M$.