与えられた等式から両辺の約数を手繰り寄せていきます．
このとき，a，pが素数という条件が効いてきます．
整数ぽい問題ですね．