Let

denote the number of compositions (ordered partitions)
of a positive integer

into powers of

. It appears that the
function

satisfies many congruences modulo

. For
example, for every integer

there exists (as

tends to
infinity) the limit of

in the

adic topology. The
parity of

obeys a simple rule. In this paper we extend this
result to higher powers of

. In particular, we prove that for
each positive integer

there exists a finite table which lists
all the possible cases of this sequence modulo

. One of our
main results claims that

is divisible by

for almost
all

, however large the value of

is.