>>980
ここで、pは素数であるから、素因数は1とpしかない。
よって、2乗してpになるようなものはなく、すなわち、
2乗してa^2pになるような任意の数bは存在しない。

て感じではどうでしょう?