補題
R = [1, fω] を２次体 Q(√m) の整環とし
I をその原始イデアル(過去スレ４の430)とする。

I = [α, β] = [α, γ] で α ∈ Z なら
β - γ ∈ αZ である。

証明
>>204 より β - γ ∈ I ∩ Z = αZ である。
証明終