命題
R = [1, fω] を２次体 Q(√m) の整環とする。
I を正則な R-イデアルとすると、N(I) = N(IZ[ω]) である。

ここで N(I) は I のノルム(>>438) を表す。

証明
>>460 より明らか。