  We prove that a proper holomorphic map between two bounded symmetric domains
of the same dimension, one of them being irreducible, is a biholomorphism. Our
methods allow us to give a single, all-encompassing argument that unifies the
various special cases in which this result is known. We discuss an application
of these methods to domains having noncompact automorphism groups that are not
assumed to act transitively.
