ちょっとこれが分からないってのは、剰余環の定義とか、集合が等しいことの証明にさえ不慣れなんじゃないかと言わざるを得ない