n \equiv a_k+\ldots+a_1+a_0 \pmod{b-1}