{in/202}=in/202−⌊in/202⌋\{in/202\}=in/202-\lfloor in/202\rfloor{in/202}=in/202−⌊in/202⌋ と書いて i=1,…,ki=1,\ldots,ki=1,…,k について足すと、等式は n202⋅k(k+1)2−z=k2\frac{n}{202}\cdot\frac{k(k+1)}{2}-z=\frac{k}{2}202n⋅2k(k+1)−z=2k となる。ここで zzz は上の床関数の和である。404404404 倍すると上に示した整数の等式を得る。