If the primes are finite, then all of them divide the number one