>仮定に反するのは、日高が勝手に「rは有理数と仮定する」と「r^(p-1)=pとする」を同時に仮定したからにすぎない
この場合、数学的には「ゆえに日高は誤りである」と結論するのが正しい。

「r^(p-1)=pとする」は、仮定ではありません。