ある種の逆も言える。
つまり、勝手な有限表示群を与えると、それを基本群にもつような連結コンパクトｎ次元可微分多様体多様体が存在する（ただし、n≧４）。