x bir tam sayı ise eşitlik doğru oluyor. Şöyleki;
[|nx|]=[|x|]+[|x+1n|]+[|x+2n|]+[|x+3n|]+...+[|x+n−1n|]
[|x+x+...+x|]=[|x|]+[|1n|]+[|x|]+[|2n|]+...+[|x|]+[|n−1n|]
$[|x|]+...+[|x|]=[|x|]+...+[|x|]+[|\frac 1n|]+[|\frac 2n|]+...+[|\frac{n-1}{n}|]$
kırmızı toplam sıfır olduğundan eşitlik doğrudur.