失礼、n+1次だと偶数次なので、実数解を持つ保証すらないです

>>661
> pはmを整数として、p=4m+1を満たす素数です

それは式Dとは独立した条件です
式Dから得られたpがそれを満たすことを期待してはいけません