如下图，证明存在自然数n使得等式成立

n-k 和 2n-k 相差 x个l
得出n只要是l的倍数就行
0也行

我上小学的时候，0不是自然数，但是现在0也是自然数了，所以n=0，等式就成立了。