Standard +0.3 This is a standard proof by induction for divisibility, requiring students to verify the base case (n=1), assume for n=k, and prove for n=k+1 by algebraic manipulation. While it involves Further Maths content, the technique is routine and the algebra is straightforward (factoring out 9 from the difference). Slightly above average difficulty due to being Further Maths and requiring careful algebraic manipulation, but follows a well-practiced template.