fa(X)f_a(X)fa(X) は高々 mmm 個の桁（それぞれ {0,1,…,m−1}\{0,1,\ldots,m-1\}{0,1,…,m−1} に属する）の和であるから、任意の a∈Aa\in Aa∈A と mm+1m^{m+1}mm+1 未満の任意の mmm の倍数 XXX に対して 0≤fa(X)≤m(m−1)0\le f_a(X)\le m(m-1)0≤fa(X)≤m(m−1) が成り立つ。