比较 素数 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.