>日高氏が「r=p^{1/(p-1)}のとき、」以外について証明ができてないことは明らかだ。

r=p^{1/(p-1)}以外の場合は、r=(ap)^{1/(p-1)}となります。