ベッチ数
ただし は のベッチ数で formula_10 は formula_11 の捩れ部分である。次をチェックできる。