For what it's worth, The Online Encyclopedia of Integer Sequences[1] confirms his claim.

[1] https://oeis.org/search?q=3%2C+6%2C+9%2C+21%2C+22%2C+47%2C+7...