 The negation of original statement contained
and we have just proved
Thus,
should also hold.But after substituting the definition of formula_20,
Thus, summarizing the above three statements, by transitivity of the equality,
should also hold.However, in the negation of the original statement "p" is existentially quantified and restricted to primes formula_60.