>>76
>(r-s)+I⊇Iは自明
自明?
s-r∈I
から
(s-r)+I⊂I
出して
I=(r-s)+(s-r)+I⊂(r-s)+I
だから自明とか?
あんまり自明じゃないと思うし
これで自明というなら
r-s∈I⇒(r-s)+I⊂I
も自明じゃない?