OBM 2004 Problem 5

Consider the sequence $(a_n)_{n\in \mathbb{N}}$ with $a_0=a_1=a_2=a_3=1$ and $a_na_{n-4}=a_{n-1}a_{n-3} + a^2_{n-2}$ . Prove that all the terms of this sequence are integer numbers.