Шелковый путь олимпиада по математике 2019 года | Казахстанские олимпиады

Найдите все пары $(a,n)$ натуральных чисел таких, что $\varphi (a^n+n)=2^n.$ ($\varphi(n)$ — функция Эйлера, то есть количество целых чисел от 1 до $n$, взаимно простых с $n$.)