这一步确实有问题, 应该是由(|p|, q)=1得到(p^n, q)=1, 再由q | p^n, q为正整数得到 q=1
如果已知q无平方因子, 可以由q |p^n推出q|p, 但是这里没有这种条件

∵M＞p^(n-1)，p^n=-qM,∴q|p^n，q|p