>>242

射 R[X] → R → R/P の合成を考える