i apologise if this is wrong, as i haven't done discrete math...but doesn't it follow by definition?

eg:

"there exists a p such that for all q, P(p,q). call this P*.

by definition from the previous statement, for all q we have P(p*,q) which is the required result.