It was a valid proof by contradiction. If you had a finite list of primes, then you end up constructing a number that has no prime factors.