補題
R = [1, fω] を２次体 Q(√m) の整環とし、
I ≠ 0 を R のイデアルとする。

d(I) = (N(I)^2)d(R)である。

証明
定義(>>152) と >>150, >>151 より明らかである。