Legyen $a$ és $n$ pozitív egész szám $\left(a>1\right)$. Igazoljuk, hogy $a^n+1$ csak akkor lehet törzsszám, ha $a$ páros és $n$ $2$-nek valamilyen hatványa.