Ich denke mal, dass du sagen wolltest, dass deine Behauptung wie folgt lautet: \(\forall ~ n \in \mathbb{N} ~ \exists k \in \mathbb{Z}: ~ 8^n+6=7 \cdot k\)
Deine Induktionsvoraussetzung ist, dass für ein festes, aber beliebiges \(n \in \mathbb{N}\) ein \(k \in \mathbb{Z}\) existiert mit: \(8^n+6=7 \cdot k\)
Induktionsschluss:
Zeigen musst du nun, dass \(8^{n+1}+6= 7 \cdot k'\) für ein \(k' \in \mathbb{Z}\) gilt.
Bedenke, dass \(8^{n+1}=8^n \cdot 8\) ist.