>>580 より >>573 が直ちに得られる。
さらに D ≡ 1 (mod 4) の場合も証明される。

補題
D を平方数でない有理整数で、D ≡ 0, 1 (mod 4) とする。
f を判別式 D の主形式(>>523)とする。
m と n が f により表現されるなら mn もf により表現される。

証明
>>580 より明らかである。