通俗地说把三对 (x,y)、(x,x-y)、(y,y-x) 代入假设，并利用 f 忽略符号这一事实，可得 f(x)、f(y)、f(x-y) 各自整除另外两者之差。
对任意整数 x,y：在假设中取 m=x,n=y 直接得到 f(x−y)∣f(x)−f(y)。取 m=x,n=x−y 得到 f(y)∣f(x)−f(x−y)。取 m=y,n=y−x 得到 f(x)∣f(y)−f(y−x)，而由上一步 f(y−x)=f(x−y)，这就是 f(x)∣f(y)−f(x−y)。综合起来，f(x−y)∣f(x)−f(y), f(y)∣f(x)−f(x−y), f(x)∣f(y)−f(x−y)。