補題
D を平方数でない有理整数で、D ≡ 0, 1 (mod 4) とする。
f = (a, b, c) を判別式 D の原始的２次形式とする。
さらに、D ＜ 0 のときは f は正定値と仮定する。
G = (Z/DZ)^* とおく。
H = { [m] ∈ (Z/DZ)^* ; m は D と素で主形式により表現される }
とおく。
集合 S = { [m] ∈ (Z/DZ)^* ; m は D と素で f により表現される }
は G/H のある剰余類に一致する。

証明
>>585, >>586 とほとんど同じなので省略する。