Choose least nonzero fixed 点
若 no positive fixed 点 exists, then 每个value f(n) f(n)f(n) 是a fixed 点 且therefore f f f 是identically zero. 否则 let k k k be least positive fixed 点. Inducti上使用simplified equati上gives f(qk)=qk f(qk)=qk f(qk)=qk 对每个 q≥0 q\ge0q≥0.