$x$ bir tam sayı ise eşitlik doğru oluyor. Şöyleki;
$[|nx|]=[|x|]+[|x+\frac 1n|]+[|x+\frac 2n|]+[|x+\frac 3n|]+...+[|x+\frac{n-1}{n}|]$
$[|x+x+...+x|]=[|x|]+[|\frac 1n|]+[|x|]+[|\frac 2n|]+...+[|x|]+[|\frac{n-1}{n}|]$
$[|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.