Aを環、IをAのイデアルとするとき、剰余環A/I はAの部分環に
なっているのでしょうか?