Sea $ a$ la mayor raíz positiva de la ecuación $ x^3 - 3 \cdot x^2 + 1 = 0.$ Muestra que $ \left[a^{1788} \right]$ y $ \left[a^{1988} \right]$ son divisibles por 17. Aquí $ [x]$ denota la parte entera de $ x.$