Cocharacter sequences are holonomic

Let {cn}n=0∞ be a codimension sequence of a characteristic zero p.i. algebra. Then the cn satisfy a linear, homogenous recurrence relation whose coefficients are rational functions of n.