IT-CESENATICO 2007 Problem 5

The sequence of integers $(a_{n})_{n \ge 1}$ is defined by $a_{1}= 2$ , $a_{n+1}= 2a_{n}^{2}-1$ . Prove that for each positive integer n, $n$ and $a_{n}$ are coprime.