Mostow's rigidity theorem