Proof of Mostow rigidity II: ideal simplices