{{2^n-k-2} \choose {k-1}}(-1)^k = {{(2^n-3)-(k-1)} \choose {k-1}} (-1)^k