Question 2. Mathematical induction
Given a non-zero integer \(x\), prove by induction that \(x^2\) is a factor of
\((x + 1)^n - nx - 1\) for all integers \(n \ge 2\).
Remember to follow the structure introduced in class, that is, define the predicate, solve the basis
step, state the induction hypothesis, and solve the induction step.
