Sum of Bernoulli Numbers by Power of Two and Binomial Coefficient

Theorem
Let $n \in \Z_{>0}$ be a (strictly) positive integer.

Then:

where $B_n$ denotes the $n$th Bernoulli number.