p^2=q(q-np)=N
とおく
N=q(q-np)
によりNは素因子qを持つがコレは素因数分解N=p^2に矛盾