要するに $$\sum_l{}_k\mathrm{C}_l=2^k$$ ですよと。まあそう言われてみれば当たり前。