命題
D を平方数でない有理整数で、D ≡ 0 (mod 4) とする。
f = ax^2 + bxy + cy^2 を判別式 D の２次形式とする。

m を f で表現される奇数とすると、χ_2(m) は f だけで定まり、
m の取り方によらない。
ここで χ_2 は >>514 で定義した写像である。

証明
>>513 と >>514 より明らかである。