Nemotron-IMO-Bench 2026 N39

Let $(a_n)_{n\geq 1}$ be a sequence of positive integers such that for all $m,n\geq 1$, all prime factors of $a_m+a_n$ are among the prime factors of $m+n$. Prove that $a_n=n$ for all $n$.