Standard +0.3 This is a standard divisibility proof by induction with straightforward algebra. The inductive step requires factoring out 15 from 16·2^(4n) + 30·31^n, which is routine manipulation. While it's a Further Maths topic, it follows the standard template without requiring novel insight or particularly complex algebraic manipulation.
1 Prove by mathematical induction that $2 ^ { 4 n } + 31 ^ { n } - 2$ is divisible by 15 for all positive integers $n$.\\
\hfill \mbox{\textit{CAIE Further Paper 1 2021 Q1 [6]}}