= sum_(j = 0)^(n - 1) 2 (2 C(n, j) - 1 + j) =