でfのn回合成を表すとする。例えばというように。 f(x)を多項式、a,bを自然数としたとき、はを割り切る。これを示す。 で有理係数多項式全体を表す。 を で生成される のイデアルとする。を示せばよい。 (のb回合成) よってだから、示された。 この証明方法…