Answer to Question #69617 in Combinatorics | Number Theory for Tom

Question

Prove that $\sum_{i=1}^s a_i=2^{n}-1-\sum_{i=s+1}^n a_i=2^s-1. Note that $\sum_{i=1}^n=2^n-1.