After reading this https://www-users.cs.york.ac.uk/~susan/cyc/p/primeprf.htm , I have question on how do we know or "see" the sense on the 4th statement, "Hence it is either prime itself, or divisible by another prime greater than $p_n$ " which meant if P is not a prime, it must be a product of higher prime?
I start by considering it cannot be any even number, as it contain constitution of "2" which is divisible by 2 which left only odd number but the odd number must be prime number?
Also in most of the proof of infinite prime $P=p_1p_2....p_n+1$ , are the proof actually meant P is not divisible by any prime in the list only(excluded higher prime like $p_{n+1}$),by definition from the list of prime use in above formula and definition of prime, P is a new prime?