演習問題（例を兼ねる）
A を可換環とする。
A のイデアル全体を I(A) とする。
I(A) は包含関係で順序集合になる。
I を A のイデアルとする。
f：I(A) → I(A) を f(J) = IJ で定義する。
f の残余(>>470)は何か？