Una calculadora puede elevar al cuadrado un número o sumarle $1$. No puede sumar $1$ dos veces seguidas. Mediante varias operaciones, transformó un número $x$ en un número $S > x^n + 1$ ($x, n,S$ son enteros positivos). Demuestra que $S > x^n + x - 1$.