In the arbitrary base *b*, the *n* digit number in question is expressed
by

where

The polynomial (1) has the following characteristic.

By taking -fold and -fold ( ) of in (3)-(4), we obtain

where . It follows from (5) and (8) that

and

Using (12) or (5), (8) , we obtain

finally.