ベッチ数
そしてformula_3の次数はi次元ベッチ数formula_4に等しい。