4 Una calculadora puede elevar un número al cuadrado 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). Demuestre que $S > x^n + x - 1$.