>>76
r-s∈Iなら
あるa∈Iが存在しr-s=a、r=s+a
任意のr+i∈r+I(i∈I)に対し
r+i=s+a+i∈s+I(∵イデアルの定義よりa+i∈I)
r+I⊆s+I
同様にしてr+I⊇s+I
r+I=s+I