A computer system considers a string of decimal digits a valid codeword if it contains an even number of 0 digits. For instance, 1230407869 is valid, whereas 120987045608 is not valid. Let $a_n$ be the number of valid $n$-digit codewords. what of the followings are true?