Mostow rigidity theorem