Donc si on met 1 dans les premiers il faut mettre « premiers supérieur à 1 » dans le théorème. On préfère que 1 ne soit pas premier et on prend une définition qui donne ça.