固定 x>0x>0x>0,设 m=f(x)>0m=f(x)>0m=f(x)>0(第5步)。由第1步,f(m)=f(f(x))=f(x2)f(m)=f(f(x))=f(x^2)f(m)=f(f(x))=f(x2);由引理(第3步)取乘数 1/x21/x^21/x2,得 f(m/x2)=f(x2/x2)=f(1)=1f(m/x^2)=f(x^2/x^2)=f(1)=1f(m/x2)=f(x2/x2)=f(1)=1(第7步)。因 m/x2>0m/x^2>0m/x2>0,将第6步用于 k=m/x2k=m/x^2k=m/x2 得 m/x2=1m/x^2=1m/x2=1,即 m=x2m=x^2m=x2。故对每个 x>0x>0x>0 都有 f(x)=x2f(x)=x^2f(x)=x2。