je crois que j'ai une réponce, mais elle est un peux hazardeuse:
q: ( pour tout p£ ZI ) (il existe n£ IN ) : n divise p² ==> n divise p
si p=2k alors:
(q: p²=(2k)² ==> p=2k ) <==> ( p=2k'+1 ==> p²=2K+1 ) ce qui est vrai
si p=2k+1 , c'est la même chose
je sais que cette methode est bizzard , mais on ne sait jamais