>>687 をまとめると次の命題になる。

命題
D を平方数でない有理整数で、D ≡ 0, 1 (mod 4) とする。
判別式 D の種の指標系(>>554)を Φ_1, . . . , Φ_μ とする。
このとき、判別式 D の種の個数は 2^(μ-1) 以下である。