我们看两个主理想环I和I₀，这里I₀是I的一个子环。假定a和b是I₀的两个元而d是这两个元在I₀里的一个最大公因子。证明：d也是这两个元在I里的一个最大公因子。