1. Preuve d'Euclide. 2. Preuve par la série ∑1/p divergente (Euler). 3. Preuve topologique de Furstenberg. 4. Théorème de Dirichlet (énoncé)
Argument diagonal d'Euclide. Divergence de ∑1/p