I am working my way through this excellent answer and the first section "Repertoire method (some basics)" (and associated concrete example) I am having trouble following. The crux is that an equation with the additive term
$$ \alpha a_n+\beta b_n $$
will have the solution
$$ \alpha x_n + \beta y_n $$
We are conveniently provided with two recurrences in the repertoire
$$ \begin{align*} x_0&=3&y_0&=1\\ x_n&=3+x_{n-1},\quad n>0&y_n&=5n^2+1+y_{n-1},\quad n>0 \end{align*} $$
to which, via linearity, the solution of the recurrence
$$ \begin{align*} z_0&=7\\ z_n&=2n^2+7+z_{n-1} \end{align*} $$
is going to be
$$ \begin{align*} z_n=\frac{11}{5}x_n+\frac{2}{5}y_n \end{align*} $$
What steps did were taken to get to that solution? I know it'll be plugging in the provided recurrences somehow and then doing algebraic manipulations but I'm not quite getting it.
PS: I appreciate how friendly, welcoming, and patient the Math SE community has been with my very basic questions so far.
