In a recent paper, R. F. Churchhouse has studied the function b(n) giving the number of partitions of n into powers of 2. The generating function of b(n) is

so that

Using this relation, Churchhouse has shown that

and

where

with

Moreover

and b(n) is even for n ≥ 2, while b(2n) ≡ (mod 4), for n = 22m−l(2k + 1); and, it is not ≡ (mod 8) for any n. He has conjectured that for k ≥ 1 and n odd,

and

The object of this note is to prove these conjectures.