従って、γ 次ホモロジー群のランク、つまり、ベッチ数formula_6はmのモース函数の指数 γ の臨界的の数に等しいか、または小さい。