lean_workbook_plus_56800

Let $a \in \mathbb{N^{*}}$ so that $a + 1$ is not a power of $2$ . Prove that there exist infinitely many $n \in \mathbb{N^{*}}$ such that $n \mid a^{n} + 1$ .