{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 とする。