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.