\hat a_{n+1-k} = a_{k-1} + a_k = \hat a_{k}