You missed a line > Assume we have a finite list, > Of primes, and that none have been missed. It's assuming that the finite list contains all primes and then

You missed a line > Assume we have a finite list, > Of primes, and that none have been missed. It's assuming that the finite list contains all primes and then noting that you can construct a new number which has no prime factors, which is a contradiction.