>174
r^(p-1)=pでないときにx^p+y^p=z^pが自然数解をもつか持たないかの証明がどこにもないので

「r^(p-1)=pでないとき」とは、どういう場合でしょうか？