This is a special case of Newton's generalized binomial theorem; as with the general theorem, it can be proved by computing derivatives to produce its Taylor series. Setting y = −4x and substituting this power series into the expression for c(x) and shifting the summation index n by 1, the expansion simplifies to