Redirecting to Mostow rigidity theorem