MathNet 2021 — Part 04 Question 13

Let $n$ be a nonnegative integer. Prove that the binary expansion of $n(2^n-1)$ contains exactly $n$ occurrences of the digit $1$.