Un théorème se démontre à partir d'hypothèses de base et de règles d'inférence.
La démonstration, bien que nécessaire à la classification de la proposition comme « théorème », n'est pas considérée comme faisant partie du théorème.
Démonstration d'Euler
Euler.
La divergence de la série harmonique montre alors que la somme (à droite) est égale à +∞, donc le produit (à gauche) ne peut être fini.
Il y a donc une infinité de nombres premiers.
Définition : Un nombre est premier s'il possède exactement deux diviseurs qui sont 1 et lui- même.
Exemples : 2, 3, 5, 7, 11, 13, 17, 19, 23, … Cette liste est infinie.
Remarque : Le nombre 1 n'est pas premier car il n'a qu'un seul diviseur.