Yes, it's not possible to have finite primes. Take all the primes from 2 to N, multiply them together, and add one to get a prime. If there's always another prime, there's infinite primes!
In your example it would be (2 * 3) + 1 = 7, prime.
This is Euclid's proof [1] and it's some 2300 years old.