(a, b, c) を判別式 D ＞ 0 の簡約２次形式(>>330)とする。

>>333 より 0 ＜ b ＜ √D
>>336 より |a| + |c| ＜ √D

従って、判別式 D ＞ 0 の簡約２次形式 (a, b, c) の個数は
有限である。