Induction with divisibility QUESTION: Prove that $16 \mid 19^{4n+1}+17^{3n+1}-4$ for all $n \in \mathbb{N}$
This is what I have so far but I'm not sure where to go from here.
PROOF:
Let $16 \mid 19^{4n+1}+17^{3n+1}-4$ equal $S(n)$.
Base case, let $n=0$.
\begin{align*}
16 &\mid 191+171-4\\
  = 16 & \mid 32\\
  = 2
\end{align*}
Therefore, $S(0)$ is true.
Using induction hypothesis, suppose $19^{4k+1}+17^{3k+1}-4$ is divisible by $16$ for all $n \in \mathbb{N}$.
Claim,
$16 \mid 19^{4k+1}+17^{3k+1}-4$,
that is $19^{4k+1}+17^{3k+1}-4=16m$, whereby $m$ is a multiple of $16$.
The above equation simplifies into,
\begin{align*} 
16 & \mid 19^{4n+5}+17^{3n+4}-4\\
16 & \mid 19^4 \cdot 19^{4k+1} + 17^3 \cdot 17^{3n+1}-4
\end{align*}
photo of my working out

$\!\bmod 16\!:\ \color{#c00}{19^{4n}}\equiv 3^{4n}\equiv (3^4)^n\equiv 1^n\!\equiv\color{#c00}1,$ and $\,\color{#0a0}{17^k}\equiv 1^k\!\equiv\color{#0a0}1\,$ by CPR = Congruence Power Rule,
hence $\,19(\color{#c00}{19^{4n}})+\color{#0a0}{17^{4n+1}}\!-4\equiv 19(\color{#c00}{1})+\color{#0a0}1-4\equiv 0.\,$ CPR has a short and simple inductive proof (simply iterate the Congruence Product Rule).
Or w/o mod: $ $ it is $\,19(\color{#c00}{19^{4n}-1)} + \color{#0a0}{17^n\!-\!1} + 16\,$ and $\,16\mid \color{#0a0}{17^n\!-\!1}\,$ by FT = Factor Theorem, and $\,\color{#c00}{19^{4n}\!-\!1} = 19^{4n}-3^{4n}+\color{#90f}{3^{4n}\!-\!1}\,$ and by FT: $\,19\!-\!3\mid 19^{4n}\!-\!3^{4n},\,$ $\,16\mid 3^4\!-\!1\mid \color{#90f}{3^{4n}\!-\!1}.\,$ Again FT has a short simple inductive proof: hint $\,a^{n+1}\!-\!b^{n+1} = (a\!-\!b)a^n +b(a^n\!-\!b^n)$.
Note how the above divisibilities are essentially proving the same congruences as above, but in a more cumbersome way due to use of relations (divisibility) vs. operations (arithmetic $\!\bmod 16$)
Remark $ $ Just as above, generally using congruences makes inductions like this very easy, reducing them to trivialities like $\,a\equiv 1\Rightarrow\, a^n\equiv 1,\,$ as explained at length in many prior answers, e.g. here and here and here. This innate arithmetical (power) structure is usually greatly obfuscated in direct inductive proofs - which often greatly complicates the discovery (and comprehension) of the key inductive step
