補題
R = [1, fω] を２次体 Q(√m) の整環とし、D をその判別式とする。
R の原始イデアル I は
I = [a, b + (D + √D)/2] と一意に書ける。
ここで a ＞ 0, 0 ≦ b ＜ a

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