Let a_0,a_1,\dots,a_{n \plus{} 1} be natural numbers such that a_0 \equal{} a_{n \plus{} 1} \equal{} 1, ai>1 for all 1≤i≤n, and for each 1≤j≤n, a_i|a_{i \minus{} 1} \plus{} a_{i \plus{} 1}. Prove that there exist one 2 in the sequence. searchnumber theory proposednumber theory