Démontre qu'il existe une infinité de nombres premiers. Le nombre construit dans la démonstration est-il nécessairement premier ?