>>15
ネター環の剰余をとって?