比較 素数 valuations におけるiterated identity.
An inducti上のを用いてf(kt)=kf(t) f(kt)=kf(t)f(kt)=kf(t) およびf(kt2)=f(t)2 f(kt^2)=f(t)^2f(kt2)=f(t)2 翻訳: gives krf(tr+1)=f(t)r+1 k^r f(t^{r+1})=f(t)^{r+1}krf(tr+1)=f(t)r+1 任意の r≥1 r\ge1r≥1. もし a 素数 has valuati上のa a a におけるk k k およびvaluati上のb<a b<a b<a におけるf(t) f(t)f(t) 翻訳:, choosing r r r を伴うra>(r+1)b ra>(r+1)b ra>(r+1)b contradicts thはidentity. ゆえに k∣f(t) k\mid f(t)k∣f(t) 任意の t t t.