>474
aが定義されていない。
未定義の記号を含む文は数学では無意味。
よって、まったく証明としての体をなしていない。

aは、r=(ap)^{1/(p-1)}で、定義されます。