由于 {in/202}\{in/202\}{in/202} 只依赖于 nnn 模 202202202 的余数,故只需考虑 0≤n<2020\le n<2020≤n<202。若 n=0n=0n=0,每一项都为 000,故等式对任何 kkk 都不成立。若 n=101n=101n=101,直接验证可知等式成立当且仅当 k=1k=1k=1。以下设 101∤n101\nmid n101∤n。