How to prove that $2^{n+2}+3^{2n+1}$ is divisible by 7 using induction? [duplicate]

$2^{(n+1)+2}+3^{2(n+1)+1}=2(2^{n+2}+3^{2n+1})+7(3^{2n+1})$


Intuitively $ $ the induction step arises by applying the Congruence Product Rule (see below)

$$ \begin{align}{\rm mod}\,\ 7\!:\qquad \color{#0a0}{3^2}\ \equiv&\,\ \ \color{#0a0}{2}\\[2pt] 3^{1+2n}\equiv&\,\ {-}2^{2+n}\qquad\ {\rm i.e.}\ \ P(n)\\[-4pt] \overset{\rm multiply}\Rightarrow\ \ 3^{1+2n}\,\color{#0a0}{3^2} \equiv&\,\ {-}2^{2+n}\, \color{#0a0}{2}\\[2pt] {\rm i.e.}\quad\, \ 3^{1+2(\color{#c00}{n+1})}\equiv&\,\ {-}2^{2+(\color{#c00}{n+1})}\ \ \ {\rm i.e.}\ \ P(\color{#c00}{n\!+\!1})\end{align}\ \qquad $$

If we eliminate the language of congruences by substituting inline the below proof of the Congruence Product Rule then we obtain exactly the common proof given in most other answers. Even if congruences are unfamiliar, we can still impose this intuitive arithmetical structure by using the Product Rule in an equivalent divisbility form, namely

$$\begin{align} {\rm mod}\,\ m\!:\, A\equiv a,\, B\equiv b&\ \ \,\Longrightarrow\,\ \ AB\equiv ab\qquad\text{Congruence Product Rule}\\[3pt] m\mid A-a,\ B-b&\,\Rightarrow\, m\mid AB-ab\qquad\text{Divisibility Product Rule}\\[4pt] {\bf Proof}\quad (A-a)B+a(B&-b)\, = AB-ab\end{align}$$

Thus the inductive step need not be pulled out of a hat like magic. Rather, it has intuitive arithmetical content as congruence multiplication. See here for further discussion.

Note: I wrote the congruence proof in the above form (vs. simpler congruence forms) in order to better highlight how other answers are precisely equivalent to applying the Product Rule.


Hint:

$$2^{(n+1)+2}+3^{2(n+1)+1}=2(2^{n+2})+(7+2)3^{2n+1}$$