1. Prove Theorem 2.4 in my current book draft. That is, if (9) is the p-value function defined on e, and we define (A) = supecA (9), for AC, then sup Po(x-(A) a}