Moderate -0.3 This is a standard proof by contradiction following the classic template for proving square roots of non-perfect-squares are irrational. While it requires understanding proof structure and algebraic manipulation, it's a well-rehearsed technique in Further Maths with no novel insight needed—slightly easier than average due to its formulaic nature.