je vais poster la reponse puisque vous ne l'avez pas poster
supposant que p n'est pas le plus petit
soit t le plus petit
alors quelque soit n appartenant à N a^(tn) = 1 [q]
alors il existe n' de N tel que
p=tn'
et puisque t n'egale ni à p ni à 1
alors p et non premier
CONTRADICTION
alors p et le plus petit nombre