It seems to me that the original proof also uses &quot;consecutive numbers are coprime&quot; as the sole property. In particular, it looks at P = p_1 * ... * p_n and says that it is coprime to Q = P + 1; hence, there must exist another prime number.