m^2-n^2 は奇数でなければ4の倍数。
逆にpが4の倍数なら (p/4+1)^2-(p/4-1)^2=p