Una secuencia de números reales positivos $\{ a_n \}$ se define a continuación. \n$$a_0 = 1, a_1 = 3, a_{n+2} = \frac{a_{n+1}^2+2}{a_n}$$ \nDemuestra que para todo entero no negativo $n$ , $a_n$ es un entero positivo.