Problem

Source: Moldova EGMO TST 2021

Tags: number theory



Prove that $9$ divides $A_n=16^n+4^n-2$ for every nonnegative integer $n$.