Betti number
が得られる。最初の左辺 br は r-番目のベッチ数であり、第二の等号はラプラス作用素 formula_64 が実作用素 formula_65 であることから来て、最後の等号はセール双対性から結果を得る。