>「r^(p-1)=p 以外の場合は考えなくてよい」

理由は、r^(p-1)=p 以外の場合の解の比と、
r^(p-1)=pの解の比が、等しくなるからです。