Mostow Rigidity Theorem - Ontify