Infinitude of the prime numbers