>そもそも r^(p-1)=p が示せてないから証明になってない

r^(p-1)=p なので、rは、無理数という事が、示せます。