有限余生成加群は有限ユニフォーム次元をもたなければならない。