Bonjour.

Je suis en train de me faire une petite bibliothèque perso en C++ avec différents algorithmes de calcul concernant les nombres premiers.

Mais j'ai un petit problème concernant une remarque sur le théorème de Proth sur Wikipédia (allez voir l'article):

"If p is a quadratic nonresidue modulo a then the converse is also true, and the test is conclusive. Such an a may be found by iterating a over small primes and computing the Jacobi symbol until: (a/p)=-1."

Pourquoi si p est un non-résidu quadratique modulo a alors la réciproque du théorème de Proth est vraie et p est composé ?

Merci