>>748
背理法の途中を書き出したんだろ。
qが偶数なので q=2rとして
2^n・p^m=(2r)^m=2^m・r^m
m>nなのでこれより　p^m=2^(m-n)・r^m　なんて筋が考えられる。