IMO 1988 - Shortlisted problems Question 7

(FRA 2) Let $a$ be the greatest positive root of the equation $x^3-3x^2+1=0$. Show that $[a^{1788}]$ and $[a^{1988}]$ are both divisible by $17$. ($[x]$ denotes the integer part of $x$.)