ELMO 2015 Problem 1

Define the sequence $a_1 = 2$ and $a_n = 2^{a_{n-1}} + 2$ for all integers $n \ge 2$ . Prove that $a_{n-1}$ divides $a_n$ for all integers $n \ge 2$ .

Proposed by Sam Korsky