Euler characteristic
が成り立つ。ここに formula_17 は K のオイラー標数を表し、F は任意の体である。