Tegyük fel, hogy $a$, $b$, $n$, $k$ pozitív egészek, $n$ páratlan, $p$ páratlan prímszám, és $a^n+b^n=p^k$. Igazoljuk, hogy $n$ a $p$-nek nemnegatív egész kitevős hatványa.