Theorem 2.10 ([1]}) 
Let \(M\)  be a closed orientable simply-connected manifold of dimension at least five. Then \(\operatorname{Map}(M)\)  is commensurable (up to finite kernel) with an arithmetic group.

