\begin{align*} 2a_{n-1} - 1 \amp = 2(2^{n-1} + 1) - 1\\ \amp = 2^n + 2 - 1\\ \amp = 2^n +1\\ \amp = a_n \end{align*}
in-context