若 h≠0h\ne0h=0 且 f(h)=0f(h)=0f(h)=0,可加性给出对每个正整数 nnn 都有 f(nh)=0f(nh)=0f(nh)=0,与有限性矛盾。因此零点集为 Z={0}Z=\{0\}Z={0};若 f(a)=f(b)f(a)=f(b)f(a)=f(b),则 f(a−b)=0f(a-b)=0f(a−b)=0,故 fff 单射。由 f(f(x))=f(x)f(f(x))=f(x)f(f(x))=f(x) 与单射性得 f(x)=xf(x)=xf(x)=x。直接代入可验证恒等函数。