Ganz normale vollständige Induktion.
Behauptung. Für \(B = \left(\begin{smallmatrix}1&a\\0&1\end{smallmatrix}\right)\) und \(n\in \mathbb{N}\) ist
        \(B^n = \text{[Term zur Berechnung von $B^n$]}\)
Beweis.
Induktionsanfang: Sei \(n = 1\). Dann ist 
        \(\begin{aligned}&B^n\\ =& B^1\\ =&\ \dots\\ =&\text{[Term zur Berechnung von $B^n$]}\end{aligned}\)
Induktionsvoraussetzung: Sei \(n \in \mathbb{N}\) und
        \(B^n = \text{[Term zur Berechnung von $B^n$]}\).
Induktionsschluss: Es gilt
        \(\begin{aligned}&B^{n+1}\\ =& B^n\cdot B\\ =&\ \text{[Term zur Berechnung von $B^n$]}\cdot B\\ =&\dots\end{aligned}\)