r^(p-1)=p となるならば、それ以外の場合を検討する必要はないのではないですか？

それ以外の場合は、r^(p-1)=paとなります。