Entonces tenemos(x′)2−(x″)2=(x′+x″)(x′−x″)≡0(modp). Por lo tantox′≡x″(modp)orx′≡−x″(modp). Sip≠2 es un primo, entonces hay exactament...Entonces tenemos(x′)2−(x″)2=(x′+x″)(x′−x″)≡0(modp). Por lo tantox′≡x″(modp)orx′≡−x″(modp). Sip≠2 es un primo, entonces hay exactamente el módulo de residuos(p−1)/2 cuadráticosp y el módulo(p−1)/2 cuadrático de no residuosp en el conjunto de enteros1,2...,p−1.