>pが奇素数で、
『r^(p-1)=pのとき』
x^p+y^p=z^pは、自然数解を持たない。
って事かな。

『r^(p-1)=pのとき』と『r^(p-1)=apのとき』
x^p+y^p=z^pは、自然数解を持たない。
という事です。