>>770 の続き。

S_0(m, f) はすぐ後でわかるように有限である。
R_0(m, f) = |S_0(m, f)| と書く。

２次形式 f と g が同値なら明らかに S_0(m, f) = S_0(m, g) である。

>>605 で定義した C(D) の代表系を f_1, . . . , f_h とする。

R_0(m) = R_0(m, f_1) + . . . + R_0(m, f_h) と書く。

R_0(m) を計算するため補題を用意する。